polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
dokaz određene tvrdnje kojim se dokazuje da pretpostavka njezine neistinitosti vodi do proturječja
Suprotnica: izravni dokaz