Gödel's second incompleteness theorem

From Wikipedia, the free encyclopedia
Redirect page
Jump to navigation Jump to search