06/11/19 00:29:55
>>79
いやそもそも無定義用語ってどういう意味でしょうか。
まだ定義されてない用語、これから定義する用語、という意味で
あなたがオリジナルに作った用語ですか？
無定義術語というのは簡潔に言うと理論の構成上原理的に
公理をもってしか定義されえない述語記号、関数記号etc.のことです。
単にまだ定義されてないということではありません。
例えばユークリッド幾何学における「直線」「点」「平面」「交わる」などの用語がそうです。
「直線」「点」といった用語自体が意味を持たないからこそ、
射影幾何学で双対原理が成り立ったりするわけです。お分かりでしょうか。