ポスト
（ZFC公理系に対する一般連続体仮説はゲーデル文ではありませんが、詳しい説明は省きますが独立命題といって、ZFC公理系のもとで真理値が確定しません）。自由変数を持たない述語（条件）＝命題でありながら真理値を持たない、ゲーデル文と同様に非常に特殊な例外であると考えることができます。
メニューを開くみんなのコメント
メニューを開く
（メンションを省略しているのでツリー全体を参照してください。）ここで、「命題であるのに真理値を持たない」ということがいかに特殊で有意義な例外か、ということは、命題と述語（条件）を分けて考えているからこそ、理解しやすくなっている、ということができます。 x.com/sekibunnteisuu…
人気ポスト
大阪北部地震から6年 地震はいつ起きるかわかりません 備えを進めましょう nhk.or.jp/bousai/article…
ふっ、貴様も考えることは同じようだな
コイツ旭川で有名だったんだな 情報が流れてくるよ笑笑笑
一平wwwww #sdt #月曜から夜ふかし
1番クソダサい服で来た奴優勝飲み会開催したら終わった
あの持ち方ほんまになんなん？？てずっと思ってたんだけどこないだスマホ片手にハンバーガー食べようとしたら自然とキムタクと同じ手の形になってて（えっこれすごい安定感ある……もしかして……理に……かなってる……？）てなって1人でウケてた
いま飲んでる飲み屋で「お兄さん知ってます！！ツートン青木さんですよね！めっちゃ好きです！！」 って言われていつも応援ありがとう！！って言っときました。ありがとうツートン青木さん。帰り際に違うって言っときます
マジでやめたがいいってこの並び。笑
石丸陣営の選挙プランナーの勉強会。 講師はなんと…。
トレンド10:40更新
- 1
アニメ・ゲーム
デッドプール&ウルヴァリン
- デッドプール
- 世界最速
- マーベル
- 公開決定
- ウルヴァリン
- 2
エンタメ
池松壮亮
- ベビわる
- ベイビーわるきゅーれ
- 前田敦子
- 髙石あかり
- 史上最強の
- MOZU
- 3
長女の健診
- 医師を辞めてしまえ
- 小学校医
- 言い過ぎた
- 後任が決まらない状態
- 反省している
- 反ワクチン
- 健診結果
- 陰謀論者
- 辞めてしまえ
- 読売新聞
- 追い出す
- 新型コロナ
- コロナワクチン
- 4
優秀な人材
- 5
ニュース
三郷JCT
- 中央分離帯
- 外環
- 外環三郷
- 通行止め
- 6
ITビジネス
携帯契約の本人確認
- 携帯契約
- 運転免許証
- マイナンバーカード
- マイナンバー
- IC
- 7
エンタメ
オク・テギョン
- グランメゾン
- テギョン
- オクテギョン
- グランメゾン東京
- 2PM
- 木村拓哉
- 8
アニメ・ゲーム
任天堂
- 任天堂ダイレクト
- ニンダイ
- マリオ新作
- 9
エンタメ
子持ち昆布
- 舘様クッキング
- 舘様
- 舘さま
- おにぎり
- 宮舘涼太
- ピクニック
- ゆり組
- 10
エンタメ
ジョン万次郎
- ビビる大木
- クールポコ
- ジョン万次郎さん
- 万次郎
- パンサー向井
- 向井さん
- TBSラジオ
- パンサー
