>>13
そのツェルメロ流の自然数論だと∈の無限降鎖列が作れるの?