
 [No title] 
  How is Gödel's theorem relevant in criticizing such a view of the axioms and methods of proof of T? Note that I'm not arguing here that we do have absolute knowledge in mathematics, or that we are justified in accepting the methods and axioms of T without proof. 
  Now Gödel's theorem implies that the consistency of T cannot be proved in T. Why should this be an argument against our accepting the axioms and methods of T? After all, we already know that not everything in mathematics can be mathematically proved. 
  Logically, it is perfectly compatible with "T is consistent" that (i) "there are infinitely many primes in the series 3,8,13,18..." is provable in T, and (ii) there are only finitely many primes in the series 3,8,13,18.... 
 www.sm.luth.se /~torkel/eget/godel/prove.html (764 words) 
