2019/05/03 by Walsh, James
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1905.00998
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.