Comment by constantcrying

>Put another way, decidability is a large area of mathematical research.

What does ZF(C) have to do with decidability? Decidability is a question in any sufficiently complex system (Gödel's first theorem). And exactly this distinction is what I made for the taxonomy of propositions, you can group them into true and false and also into provable and unprovable. What would be a fact and what would be a law?

Regardless of that, in neither case the empiricism the site uses to define a fact would play any role.