Аксиомой называется утверждение, которое принимается без доказательства как истинное. Теоремой называется утверждение, которое доказывается на основе аксиом или других теорем. Следствием называется утверждение, которое вытекает из других утверждений (аксиом, теорем и т.д.).