公理

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