Итальянский математик, известный своими работами по дифференциальной геометрии и математической физике. Сыграл значительную роль в признании неевклидовой геометрии. (фамилия) 9 букв
Положение, мысль, которой доказывают, утверждают что-нибудь 11 букв
Утверждение, для которого в рассматриваемой теории существует доказательство. В отличие от теорем, аксиомами называются утверждения, которые, в рамках конкретной теории, принимаются истинными без всяких доказательств или обоснований 7 букв
Утверждение, устанавливаемое с помощью доказательства 7 букв