＞Jordan曲線定理が、ごくごく常識的な公理系から
＞証明できる、というのは大昔に数学者が確認した
＞ことなんだよ
じゃあ、その体系で形式的に証明されてたんだね。
ホント？