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

253 ：１３２人目の素数さん：2021/05/13(木) 12:04:19.02 ID:Us7LNNuJ.net

定義する公理がおかしいっていうのは、数理論理学の勉強が不足しているからです。
キーワードも書いたでしょう. Extension by Definitions でググってください

派生用語を使って公理を記述するならば、その定義となる公理も一緒に提示しなければいけません
勝手に用語に意味を付与して議論する態度こそ、「あなたの頭の中だけ」ですよ

もうすこし形式的な手法という概念を勉強した方がいいとおもいます