正の整数

書いてみる

関連タグ

#ゲーデル (83)
#ゲーデル数 (3)
#0 (615)
#MECE (386)
#OMEGA (142)
#ZFC (560)
#ZFC公理系 (28)

数学（2023/2/26）：記号をゲーデル数ではなくもっと弱い何かで代替した方が良いのではないか

犬神工房
1年前

数学（2022/6/11）:キューネン本2冊についての記事_8.ZFC集合論の公理のリスト_6（中間生成物:形式言語）

犬神工房
2年前

Proving the Collatz Conjecture Using Infinite Axiom and Proof by Contradiction（preprint）

Hyama Natural Science Research Institute
1年前

コラッツ予想を無限公理と背理法で証明（preprint）

Hyama Natural Science Research Institute
1年前