veta ( matematika)
- výrok dokázateľný v danej teórii ( L322;224), výrok, ktorého pravdivosť bola dokázaná ( L715;773).