👉 Uncategoricity, in mathematics and logic, is a property of certain logical propositions or formulas that do not have any explicit labels attached to them. In other words, a proposition or formula cannot be assigned a label such as "true" or "false," except for the fact that it has been proved true or false (in some contexts). Uncategoricity is often used in mathematical logic and set theory to distinguish between statements that can be universally proven true (theorems) and those that are
