Аксиомы и теоремы: основные определения