>>965
ソースではなくお前の妄想を提示している点は置いておくとして
ペアノの公理は
　任意の自然数 a にはその後者 (successor)、suc(a) が存在する
を要請している。
では ∞∈N とした場合、∞の後者は何かを答えよ