[...]
Eli: hyvältä vaikuttavasta verifikaatioaksioomasta seuraa, että kaikki totuudet ovat tunnettuja.