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