>実数の定義はZFC以前

でも君、デデキントの切断による定義も、カントールの基本数列による定義も、理解できてないんだろ?
だったら大学数学以前だな