判断题加强就是能够满足证明的形式或者逻辑方法。
判断题削弱的英文名称是weak。
判断题第二次数学危机是微积分的产生，即无穷小量是零但又不是零。
判断题伊壁门尼德提出了解决半截子悖论的解决方案。
判断题第三次数学危机已经圆满解决了。
