>>167
実数の話をしたいなら実数の公理を記述できるものを出せばいいけど
それは別にZFCよりもずっと弱い系から出てくる理論なので余裕。