カルロス・デ・オリヴェイラ・マガリャエス
クラブキャリア.
代表歴.
最低速度制限標識
紀乙魚
生涯.
佐々木亮輔
経歴.
出演.
舞台.
インクスティック
金喆鎬 (サッカー選手)
 
経歴.
個人成績.
本間茂
本間 茂（ほんま しげる）
経歴.
清水裕子
志水孝行
経歴.
現在は体育教員として広島県で勤務している。
詳細情報.
タイトル・表彰.
社会人選手権.
※前身の実業団選手権も含む
特徴.
使用者.
など
駅構造.
バロック庭園
遊子遠
大森壽郎
人物・経歴.
楊宗稷
経歴.
弟子.
事故の経緯.
事故原因.
当初は着氷が墜落の原因と考えられていたが、後にNTSBは事故要因から外した。墜落の原因は高度の確認不足だった。着陸進入中に最低降下高度を下回ったため墜落した。
王林 (サッカー選手)
経歴.
王林 (政治家)
生涯.
名探偵コナンの登場人物
サルウィン
サルウィン (, )
無矛盾
数学基礎論において、無矛盾性 () は公理系の最も重要な概念の一つである。
定義.
ある理論 において、次のような論理式 が存在するとき、理論 は矛盾する () といい、このような が存在しないとき、 は無矛盾である () という:
この矛盾 () はしばしばアップタック記号 を用いて表され、理論 が無矛盾であることは次のように表される:
または単純に とも記される。
また理論 が矛盾することは次のように表される:
矛盾する理論は任意の論理式を証明できるため、これは次と同値である:
この性質に着目し、理論 の論理式で有りながら証明できないような論理式 の存在を無矛盾の定義とすることがある。すなわち:
不完全性定理.
ゲーデルの不完全性定理は、ロビンソン算術 の再帰的拡大（またはRE拡大）である理論 がω無矛盾（または無矛盾）であるとき、
である、すなわち理論自身では自身の無矛盾性を証明できないことを述べている。
極大無矛盾.
理論 と の任意の論理式 について
が成立するとき、 と記す。
そして無矛盾な理論 について、
を満たす無矛盾な理論 が存在しないとき、 は極大無矛盾 () であるという。
真の算術 は、その定義から明らかに極大無矛盾である。
相対的無矛盾性.
に伴って無矛盾である」という。
概要.
放送期間.
いずれもJST
過去の出演者.
ミシェル・ペロー