consistency-proof-system-means-modes-inference-system

...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.

0/5 (0)

Kurt Gödel's Popular Quotes

0 Comments

Login to join the discussion