Formal and Natural Sciences