Фрагмент из книги:
Рассматриваемые в математике истины формулируются в виде предложений. Главнейшие из них следующие: определения, теоремы и аксиомы.
Определением называется предложение, в котором разъясняется смысл нового понятия. Теорема есть предложение, справедливость которого устанавливается путем некоторого рассуждения, называемого доказательством. Аксиомой называется истина, принимаемая без доказательства. Непосредственный вывод из аксиомы или теоремы называется следствием, Подготовительное предложение, вводимое для доказательства последующего, называется леммой. Следствие и лемма — теоремы.








