Следствие — утверждение, которое выводится непосредственно из аксиомы или теоремы.
Теорема – утверждение, для которого в рассматриваемой теории существует доказательство.
Аксиома – утверждение, которое принимаются истинными без всяких доказательств.
Менее важные утверждения-теоремы обычно называют леммами, следствиями, условиями и пр.
Лемма – доказанное утверждение, полезное при доказательстве других утверждений.
Постулат– исходное положение какой-либо теории, принимаемое в данной теории истинным без требования доказательства и используемое при доказательстве других.
Зависимость: все эти определения помогают при доказательстве теорем или идут, как следствие из теоремы.