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