For each formal system F containing basic arithmetic, it is…

Twetch ·

For each formal system F containing basic arithmetic, it is possible to canonically define a formula Cons(F) expressing the consistency of F.