polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
izjava koja je istinita bez obzira na istinitost pojedinačnih izjava od kojih je sastavljena