
公理- 不可证明但自身明了的真理,因此无需证明且被普遍认可为有效和正确
unbeweisbare, aber in sich einsichtige Wahrheit, die daher nicht bewiesen werden muss und allgemein als gültig und richtig anerkannt wird
公设- 作为演绎理论出发点的未推导陈述
nicht abgeleitete Aussage, die als Ausgangspunkt einer deduktiven Theorie dient