そうだ。
今、一番気になってるのはビジービーバーを認めるとほんとに自然数の定義が変わっちゃうの？ってところ。
自然数はペアノの公理で構成するらしいんだけども漏れはこれについて全然知識がない。
親切なだれか漏れに知恵を授けておくれ。