「Π11内包公理 Π11-CA0」を解説文に含む見出し語の検索結果(1~2/2件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/19 05:20 UTC 版)「逆数学」の記事における「Π11内包公理 Π11-CA0」の解説Π 1 1...
逆数学(ぎゃくすうがく)とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いる...
< 前の結果 | 次の結果 >