kˈaʒdɨ krˈɔɡ dɔvˈɔdu mˈuɕi jˈasnɔ vɨɲˈikatɕ s pɔpʃˈɛdɲix lˈub bˈɨtɕ pʃɨjˈɛntɨm ˌaksjɔmˈatɛm; rˌɔzumɔvˈaɲʲɛ ɲʲˌɛspɛwɲʲajˈɔntsɛ tˌɛɡɔ varˈuŋku ɲʲɛ jɛzd dɔvˈɔdɛm.
Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym aksjomatem; rozumowanie niespełniające tego warunku nie jest dowodem.