13/10/26 21:24:21.53
>>378,>>380
キミはどうもわかってないね。
>>376や>>379の言う通り、数学は認める認めない関係なくできる。
ある公理を認めるという時と「論理式全体の集合」の存在を認めるという時では、
その意味は違うんだよ。
13/10/26 21:24:21.53
>>378,>>380
キミはどうもわかってないね。
>>376や>>379の言う通り、数学は認める認めない関係なくできる。
ある公理を認めるという時と「論理式全体の集合」の存在を認めるという時では、
その意味は違うんだよ。