>>184
もしかしてペアノの公理を満たす集合は一つ(同型とかではなく、集合の相等として)しかないと思ってる?