どうして数学基礎論は人気がないのか (49ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
23(1): 06/19(木)08:14:12.30 ID:gIWr3EdX(5/9) AAS
現実の数学をうまい具合に形式化したものを調べるから、まあメタなんじゃないか？
そもそもエタとかタヌキとか始めて聞いたけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.309s*