数学的 · 英语· math-o-matic是一个计算机化的演绎系统,使您能够制作公理系统并证明其定理。 其目的是使编写和阅读严格的数学证明变得容易。 您可以通过按下底部的按钮之一来查看当前的公理系统。 代码示例 "[$1+1=2]이다." theorem one_plus_one_is_two() { one_in_omega() > omega_add_one(omega_one) as eq(omega_add(omega_one, omega_one), omega_two) } 上面的代码产生了...... 1 + 1 = 2证明 ...证明等式1 + 1 = 2 。 证明是通过数学程序验证的,如果证明有效,则定理的名称将显示为绿色。 证明浏览器还以人类可读的格式显示证明的各个步骤。 绿色的名称是指已经证明的定理,蓝色的符号是预定义的概念。 继续阅读 在目录中找