Fair, I'd say it is better to be idosyncratic and consistent than conforming and incongruent. "Formal science" does not make any sense as a subcategory of scien

Fair, I'd say it is better to be idosyncratic and consistent than conforming and incongruent. "Formal science" does not make any sense as a subcategory of science if the definition of science basically omits anything that makes mathematics and philosophy what it is. The "formal sciences" do not use the scientific method, and are basically completely distinct from the natural and social sciences in the ways they generate knowledge. In my language, it is generally linked to the humanities, but I'm not hard set on that.