加载中…
It is a well known empirical observation that natural axiomatic theories are pre-well-ordered by consistency strength. For any natural theory , the next strongest natural theory is . We formulate and prove a statement to the effect that the consistency operator is the weakest natural way to uniformly extend axiomatic theories.

生成讲解博客的中文版本

生成AI智能校验的中文版本