... axioms;義大利語:Assiomi di Peano),也稱皮亞諾公設,是義大利數學家朱塞佩·皮亞諾提出的關於自然數的五條公理系統。 ... 正式定義可以用謂詞邏輯表示如下:.
確定! 回上一頁