👉 In logic and mathematics, superformalness refers to a property of a mathematical object or function that is stronger than its definition suggests. It involves properties that are not directly related to the basic structure of the object or function but are still defined by it. For example, consider the following statement: "The sum of two numbers is always greater than the larger number." This statement is superformal because it does not specify what these numbers are (for instance, integers). However, if we assume