ریاضیات

... > mathematics > mathematical logic > general logic > language > theory > completeness theorem > Godel completeness theorem

... > mathematics > probability theory > foundation of probability theory > probabilistic measure theory > probability measure > extension of probability measure > completeness theorem > Godel completeness theorem