2005年5月21日

公理

公理便是公理,不可證明,只能接受。
證明並不是一切,它只能證明在一組公理和推導規則之下產生的定理(Theorem)。