2024-12-07 PAとZFは「似ている」？ Mathematical Logic Advent Calendar Advent Calendar 2024 12月7日(土)の記事です． PAは自然数に関する理論，ZFは集合論に関する理論でありそれらが似ているようには見えないかもしれません． ですがZFから無限公理を除きその否定を追加してみると，意外なことにそれらはある意味で「似ている」ように思われてきます．そんなことを知ったので記事にしてみました． 時間がなく，証明などかなりいい加減になってしまっています． 間違いなどあったら是非教えてください．
