Veta (matematika)

Z Wikipédie

Matematická veta je výrok dokázateľný v danej teórii, ktorého pravdivosť bola dokázaná, teda má určitú pravdivostnú hodnotu.