正の整数

書いてみる

人気の記事一覧

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

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

Proving the Collatz Conjecture Using Infinite Axiom and Proof by Contradiction(preprint)

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