>>302
スコーレムのパラドックス自体にまったく触れずに
非ユークリッド幾何と同じと言ってもなｗ

ZFに限らずそもそも形式系は可算と非可算の区別ができないというのが、
このパラドックスを理解するポイントじゃないのか？