In mathematical logic, there exist statements that are true but cannot be proven within the system.
数理論理学では、体系の内部で証明できないが真である命題が存在します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
