Аксиомы •Предложения, принимаемые без логического доказательства, называются аксиомами. •Процесс установления истинности предложения путем логических рассуждений называется доказательством.
В чем состоит логическое строение геометрии? üПеречисляются без определений геометрические понятия; üС их помощью даются определения всем остальным геометрическим понятиям; üФормулируются аксиомы; üНа основании аксиом и определений доказываются теоремы.
Аксиоматика Атанасяна