
自明の真理- 証明不可能だが自ら明らかな真理であり、ゆえに証明を要せず、一般に妥当かつ正しいと認められるもの
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