>>21
じゃ
「ZF上で実数は定義不可能」
が君の主張で良いのね?