Да, это пример утверждения к которому нельзя прийти путем логики, но для которого существует логическое доказательство, т.к. само по себе утверждение носит от части аксиоматический характер. Во всяком случае трансформирует аксиоматическую систему - оно очевидно, как и любая порядочная аксиома:)