どうして数学基礎論は人気がないのか (49ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
14: poem 06/19(木)07:58:10.91 ID:5L1Jobys(11/24) AAS
メタ数学ってあれじゃん
つい最近知ったのは
Π01言明とか、矛盾と無矛盾の証明性、(Π01言明自体は自己言及含んでるから上手く行かなかった)
証明性みたいな、普通数学の台詞よりさらに地の文がメタ数学
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.280s*