Paris-Harrington theorem
Alternative form of south-southeast
(mathematical logic) A theorem stating that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.
(informal) Pregnant.
(finance, accounting, business) A cost that can be directly attributed to a cost object (such as a particular project, facility, function, service, or product).
数理論理学の大学院生たちは、パリ＝ハリントンの定理（強化された有限ラムゼーの定理）が、ペアノ算術では証明できないが真である自然な例を示すかどうかを議論した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
