Conservation: a proof that any result about "real objects" obtained using reasoning about "ideal objects" (such as uncountable sets) can be proved without using ideal objects.
Konservasi: bukti bahwa setiap hasil tentang "benda nyata" diperoleh dengan menggunakan penalaran tentang "benda-benda yang ideal" (seperti set terhitung) dapat dibuktikan tanpa menggunakan benda-benda yang ideal.