Definitsioonide tõestusjõud ja definitsioonide kasutamise normid

Definitsioonide tõestusjõud ja definitsioonide kasutamise normid 

Karmo Talts

Eeldame, et definitsioonid ei tõesta midagi. Sel juhul see, et x on defineeritud y-ina, ei tõesta, et x ja y on ekvivalentsed.
Vaatame nüüd definitsioonide kasutamise normatiivset tähendust. Kui me kasutame x-i definitsiooni, mis defineerib x-i y-ina, siis me peame lähtuma sellest, et x on ekvivalentne y-iga.
Vaatame nüüd eneseleviitavate definitsioonidega seotud paradokse. Me peame x-i lugema ekvivalentseks x-ile vastu rääkiva y-iga ainult siis, kui me kasutame definitsiooni, mis defineerib x-i y-ina. Seega me ei tohi eneseleviitavaid definitsioone kasutada.