关于元等式

lkPark

任何逻辑系统都是有限的，因此任何一个逻辑证明体系也是有限的。由等号建立的量逻辑证明体系也是有限的，因此在量逻辑证明体系上我们必然要遭遇元等式。元等式即最初等式也叫第一或第一簇等式，哥猜等式和费马等式也属于元等式，元等式为量逻辑的前尽头。对元等式的证明无法采用量逻辑来继续证明。因为任何逻辑系统都是有限的，所以量逻辑系统也是有限的，因此对元等式的证明只能采用态逻辑系统来加以证明。因为态逻辑包含并产生了量逻辑，所以态逻辑导致了元等式的产生，而证明即是揭示元等式产生的前提态逻辑。王军    著

lkPark

真理即权威！

lkPark

lkPark 发表于 2018-7-25 22:15
真理即权威！

逃跑主义害死人！

lkPark

这是一种涉及不可计算问题的新数论，它将成为人类数学研究的新起点。