polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
pomoćni teorem čiji se rezultat upotrebljava pri dokazivanju važnijega teorema
pomoćni teorem čiji se rezultat upotrebljava pri dokazivanju važnijega teorema
Rod: ženski
Vrsta riječi: imenica