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

251 ：１３２人目の素数さん：2021/05/13(木) 11:20:48.91 ID:Us7LNNuJ.net

＞LineもCrossも派生用語ではなく基本用語のつもりだったのですか？
そうに決まってる。最初からずーっとその話をしてる。
もし派生用語だったら定義する公理がある（Extension by definitions）から出せっつってんのに出さないし。
人が言っていることを聞かないで、特定のモデルを勝手に前提にして、あなたは何を議論したいの？