polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
dokaz koji nije neizravan
dokaz određene tvrdnje kojim se dokazuje da pretpostavka o njezinoj neistinitosti ne vodi do proturječja
Rod: nema
Vrsta riječi: višerječni naziv
Suprotnica: neizravni dokaz