トップページ⇒math

1001コメント454KB

数学基礎論スレのスレタイを決めるスレ

■ このスレッドは過去ログ倉庫に格納されています

0020１３２人目の素数さん

2011/10/29(土) 16:41:40.71

>>19
数学の基礎付け自体は論理の形式化という形で実際に行われている。
示されたのはある種の限界があるということだけだろう？

■ このスレッドは過去ログ倉庫に格納されています