>>547
>ZF上で実数は どこまで定義可能なのか?
どこまでもクソも無い
実数とは連続公理を満たす順序体(の元)である
よってZFで連続公理を満たす順序体が構成できればそれがZF上の実数である
それ以上でも以下でもない