Inexhaustibility: A Non-Exhaustive Treatment

Gödel’s Incompleteness Theorems are among the most significant results in the foundation of mathematics

Torkel Franzén Department of Computer Science and Electrical Engineering Lule, University of Technology