23/11/06 12:32:22.71 DN7G53u1.net
論理学に還元できるレベルのことだと分かるなら
実際に厳密にそれを実行する必要はない
ラッセルとホワイトヘッドがやったことを
いちいちすべての数学でやってもしょうがない
23/11/06 12:32:22.71 DN7G53u1.net
論理学に還元できるレベルのことだと分かるなら
実際に厳密にそれを実行する必要はない
ラッセルとホワイトヘッドがやったことを
いちいちすべての数学でやってもしょうがない
23/11/06 12:32:22.71 DN7G53u1.net
論理学に還元できるレベルのことだと分かるなら
実際に厳密にそれを実行する必要はない
ラッセルとホワイトヘッドがやったことを
いちいちすべての数学でやってもしょうがない