A note on the consistency operator
Abstract
It is a well known empirical observation that natural axiomatic theories are pre-well-ordered by consistency strength. For any natural theory T, the next strongest natural theory is T+ConT. We formulate and prove a statement to the effect that the consistency operator is the weakest natural way to uniformly extend axiomatic theories.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.