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

来源: 于 2022-05-01 18:56:34 [旧帖] [给我悄悄话] 本文已被阅读：次

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

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