用户:
原力开发查看:76 回复:19 评论:4 创建时间:2024-07-23T10:35:08
这是一道坦斯因爱都解不出来的题:1+1=?
真的太难了,想这道题的时候千万别带脑子,否则会冒烟!
浮动Center1 + 1 = S(0) + 1 (根据自然数的公理) = S(0 + 1) (根据加法定义 2) = S(1) (根据加法定义 1) = 2 (根据自然数的公理)
点赞0
评论
阿巴阿巴,看不懂
浮动Center(eg. qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44): 0 := {x: x ={y: ~(y = y)}} 1 := {x: y(yεx.&.x\{y}ε0)} 2 := {x: y(yεx.&.x\{y}ε1)}
点赞0
评论
啊,我的脑子!