Godel completeness theorem
preferred label: قضیه تمامیت گودل @fa
type: Concept
related: Myer theorem

Myer theorem
related: Godel completeness theorem
broader: positive Ricci curvature
preferred label: قضیه مایر @fa
type: Concept

positive Ricci curvature
preferred label: خمیدگی مثبت ریچی @fa
type: Concept
narrower: Myer theorem