Еще раз задаю вопрос, на который так и не получила ответ: какие аксиомы надо проверить? Конкретно их запишите.