provability of a given sentence can be encoded as an arithmetic sentence describing termination of an analytic tableau. Provability of consistency can then simply be added as an axiom. The resulting system can be proven consistent by means of a relative consistency argument with respect to ordinary arithmetic.

One can further add any true sentence of arithmetic to the theory while still retaining consistency of the theory.

References

1.Previous
3.Next