모형세계의 논의영역은 공집합이 될 수 없나요?

[익명(124.50)]

무조건 대상이 하나는 있어야 하나요?

[TonyMontana(thecoqproofassistant)]

예 - PushItToTheLimit!

[1+1=2(lsc4719)]

universe가 empty set인 경우도 허용하면 귀찮아지는게 있었는데 그게 뭐였는지 까먹었습니다 ㅋㅋ - dc App

[1+1=2(lsc4719)]

Hibert's axiomatic system에서 뭔가 있었나. - dc App

[1+1=2(lsc4719)]

마침 쿼라에 동일한 질문이 있네요.
https://math.stackexchange.com/questions/45198/whats-the-deal-with-empty-models-in-first-order-logic
- dc App

[익명(223.39)]

그냥 공허참 관련 문제겠죠

[익명(76.114)]

고전 논리에서는 맞습니다. 그런데 그렇지 않는 논리 체계도 있어요.

[익명(76.114)]

https://en.wikipedia.org/wiki/Empty_domain