That wikipedia article reads weird. It sounds like a formalized collection of obvious facts.