Godel completeness theorem
قضیه تمامیت گودل
positive Ricci curvature
خمیدگی مثبت ریچی
Myer theorem
قضیه مایر