彼の人が良く例に出す
ユークリッド幾何と射影幾何ですが’
ユークリッド幾何をZFCに当たるものだと考えているようです
どなたかが指摘していましたが
ユークリッド幾何には無限遠点が存在しないため
ZFC+¬Uに当たるものなのですよね
射影幾何がZFC+Uに当たるもの
（双曲幾何もあるのでホントは正しくない例示ですけど）
ユークリッド幾何に無限遠点を「付け加えて」双曲幾何にしているわけではないのです
ユークリッド幾何と射影幾何は別物
両立も出来ません