「弱ケーニッヒの補題 WKL0」を解説文に含む見出し語の検索結果(1~3/3件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/19 05:20 UTC 版)「逆数学」の記事における「弱ケーニッヒの補題 WKL0」の解説WKL 0 {\displ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「2階算術の5つの基本的部分体系(Big Five)」の解説2階...
逆数学(ぎゃくすうがく)とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いる...
< 前の結果 | 次の結果 >