二〇〇七年一月二二日（一）一八時一九分審纂 Bi~zh-classicalwiki（議｜勛）二九筆編輯以西臘文書之，可乎？ ←前辨		二〇〇七年一月二二日（一）一八時三六分審纂悔 Bi~zh-classicalwiki（議｜勛）二九筆編輯無編輯摘要後辨→
第四行：於理則與數學，公理不必為不證自明者，於是公理為演繹所生者之形式邏輯表達式。若欲公理化一知識系，明其所言皆可由一相互獨立之句之集而得。此不意其已獨立為知；而存多法以公理化一知識系(如算術)焉。又數學家邏輯公理和非邏輯公理也。 == 歐幾里德幾何 == 古之公理者，有[[歐幾里德幾何]]五公理。 {{stub}}

「公理」：各本之異