[hprotagonist]

no like, "addition is closed over the integers" is something you can show to be True (for all members of an infinite set, no less -- so it's not empirical.)