巨大数探索スレッド11.75at MATH
巨大数探索スレッド11.75 - 暇つぶし2ch197:１３２人目の素数さん
16/01/25 20:31:11.52 TMZu+8vF.net
言葉の整理
体系　ZFCとかCoCとかいうやつ。真理値を決定するための前提条件。公理系。強力であればあるほどさまざまな命題の真理値を決定することができる。しかし強すぎると矛盾してしまう。
�


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch