可見"白馬非馬"正確不謬。是馬: ((X)馬)。"白"僅是x一個值。

Von Neumann 有個用空集 empty set 定義自然數的簡潔明了的方法。可搜之。

又,8+7=15之類是定義,不是真偽判斷。

請您先登陸,再發跟帖!