MathDB1 problem
- 0 votes0 replies1 view
Conservativity of the extended proof schemata formalism
Conservativity conjecture. The extended formalism is a conservative extension of arithmetic.
Conservativity of the extended proof schemata formalism
Conservativity conjecture. The extended formalism is a conservative extension of arithmetic.