>>480
記号の羅列を表現するのにメタの意味での自然数は使われるんですよ？
証明図に関するメタ証明も、数学的帰納法が用いられますし
分からない問題はここに書いてね435
■ このスレッドは過去ログ倉庫に格納されています
482１３２人目の素数さん
2017/10/22(日) 22:46:05.79ID:sMM5+fid■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】開催国アメリカがGS2連勝！ 前半に２ゴールを奪取、オーストラリアに２-０で快勝 [鉄チーズ烏★]
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」★2 [jinjin★]
- 【速報】自民、成長投資促す新たな財政目標を提言へ [バイト歴50年★]
- 【気象】台風7号「メーカラー」が発生 今後の動向に注意 [牛乳トースト★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- 【悲報】女さん「男さあ、サッカースタジアム清掃するなら家でもやってよ」→正論すぎてBBCに取り上げられるwwwwwwwwwwwww [839150984]
- 【悲報】日本政治家の『議員年収額』、世界一。😲 [153490809]
- デンマーク、インフレ対策で一部食料品の税金即時廃止 反日か？😡 [399259198]
- 【悲報】ゆとり国税局員 反社にお漏らしで書類送検
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- 柏木由紀さん（34）「ららぽーとで幸せそうな家族に囲まれながら1人でかき氷を食べる人生。私このままでいいのか？」 [643675351]