Аксиома – исходное утверждение, принимаемое истинным без доказательств, и которое в последующем служит «фундаментом» для построения какой-либо теории, дисциплины.
Теорема – утверждение , для которого в рассматриваемой теории существует доказательство.
Следствие – утверждение, которое выводится из теорем и аксиом.
