In general, a non-logical axiom is not a self-evident truth, but rather a formal logical expression used in deduction to build a mathematical theory.
Üldiselt ei ole loogikavaba aksioom iseenesestmõistetav tõde, vaid pigem formaalne loogiline väljendus, mida kasutatakse deduktiivse teooria ülesehitamiseks.