Outrageously Funny Word Dictionary :: Nonrationalization

👉 In mathematical logic, a non-rationalization is an interpretation of a first-order language that does not satisfy the axioms of the theory. In other words, it cannot prove any statement in the theory. A non-rationalization (or non-rational interpretations) can be defined as a set of sentences that are logically consistent and do not necessarily imply any statement from the theory. These sets are often used to study the consistency of theories by showing that they cannot prove any statement without violating the ax

nonrationalization