>>230
そもそも実数論は一階述語論理で表現できない。完備性の公理は実数Rの空でない上に有界な任意の部分集合についての言明だから。そのため実数論はZFC集合論上で展開されるのが一般的だろう。
解析学で集合論のモデルを固定するんですか？　具体的にどんな場面でどんな目的でモデルを固定するのか例示できますか？