数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト415:403 13/10/28 00:06:39.15 >409 >集合やら自然数全体やらを導入したら破綻どころかそれだけ論理は豊かになるだろう。 基本的には同意だけど、それは言い過ぎ。 素朴集合論は実際に破綻したし。 >与えられた式が論理式かどうかの必要十分条件があって、それで論理式全体の集合が >定義できるなんて、そんなことあるわけないだろ。 内包的記法はそんなもんだよ。 416:１３２人目の素数さん 13/10/28 00:15:35.78 >>412 意味わからん 有限集合の冪集合なんか時間かければ実際につくれるだろ それとも、「実際に誰かが紙に書いてみせなければ、存在するとはいえない」って主張？ もしそうなら、いったい何個の元を持つ集合なら 冪集合を作れるのかね 例えば、３個の元をもつ集合{ a, b, c }の冪集合なら φ, ｛a｝, ｛b｝, ｛c｝, ｛a, b｝, {b, c}, {c, a}, {a, b, c} って実際にかけるし どこからか、書けなくなる境目があるよね 417:１３２人目の素数さん 13/10/28 00:49:41.70 論理は客観的な実在だよ 人類の最後の一人が死んだ瞬間に成立しなくなる類のものではない 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch