f(n) = n+1 の単射性って何処から証明するんだろ、と思って調べたらまさかのペアノの公理だった

もっというと

n)+1 ≠ 0

もペアノの公理なので、ヒルベルトの無限ホテルに泊まれるのはほぼ初期ルールです