...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself. — Kurt Gödel Copy Share Image
![“...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.” quote by Kurt Gödel](https://sms4smile.com/quotes/img-quotes/bbd/kurt-g-del-26112_consistency_a-consistency-proof-for-any-system-can-b_86224.jpg)