数理論理学（数学基礎論）　その14

224 ：１３２人目の素数さん：2021/05/08(土) 23:17:49.51 ID:r1Klbeuf.net

このスレで質問するのが適切かどうかわからないのですが。

射影幾何の公理に
　公理３ 任意の異なる２点に対し，これと結びつくただ１つの直線が存在する
　公理４ 任意の異なる２直線に対し，これと結びつくただ１つの点が存在する
があって、この二つは双対とのことですが、
この二つの双対関係はなにか深い理由がある必然的なことなのでしょうか、それとも
単なる偶然のことなのでしょうか？

ちなみに、双対というのも数理論理学の対象なのでしょうか？