polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
konačan niz tvrdnja u kojemu pojedina tvrdnja ili aksiom slijedi iz prethodnih tvrdnja primjenom jednoga od pravila zaključivanja
konačan niz tvrdnja u kojemu pojedina tvrdnja ili aksiom slijedi iz prethodnih tvrdnja primjenom jednoga od pravila zaključivanja
Rod: muški
Vrsta riječi: imenica