we cannot hope to really prove anything about some true consistency.
Sure we can. If we found a contradiction in Peano arithmetic, we’d prove that Peano arithmetic is inconsistent.
Sure we can. If we found a contradiction in Peano arithmetic, we’d prove that Peano arithmetic is inconsistent.