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

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

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

请您先登陆,再发跟帖!