Утверждения называются аксиомами