2025-06-01から1ヶ月間の記事一覧

「空モデル」のはなし～一階述語論理の「モデル」の対象領域を空にしてはなぜダメなのか？～

数理論理学数学論理学小ネタ

ランキング参加中その他たびたび見かける疑問として，「一階述語論理のストラクチャー（構造）の対象領域を空にしてはなぜダメなのか？」というものがある．これ自体はとても良い質問なのだが，「わかる人（つまり教科書を書くような人）にはすぐわかるが，…