Definitsioonidest tulenevad järeldused
Karmo Talts
Vaatame võimalusi teha definitsioonidest tulnevaid järeldusi. Kui X on defineeritud Y-ina ja Y-ist järeldub Z, siis X-ist järeldub definitsiooni järgi Z. Kui Y on evkivalentne Z-iga, siis X on definitsiooni järgi ekvivalentne Z-iga.
Vaatame nüüd, kuhu viib piiramatu definitsioonide lubamine. Kui X on defineeritud Y-ina ja Y-ist järeldub vasturääkivus, siis X-ist järeldub definitsiooni järgi vasturääkivus. Kui X on defineeritud Y-ina ja Y-ist on ekvivalentne vasturääkivusega, siis X on definitsiooni järgi ekvivalentne vasturääkivusega.
Kommentaare ei ole:
Postita kommentaar