Axiomatic semantics makes no distinction between a phrase's meaning and the logical formulas that describe it; its meaning is exactly what can be proven about it in some logic.
Aksiomatska semantika ne razlikuje značenje fraze i logičkih formula koji je opisuju; njezino značenje jest točno ono što o njoj može biti dokazano u nekoj logici.