Fork me on GitHub
Math for the people, by the people.

User login

L\"ob's theorem

Keywords: 
L\"ob's theorem, second G\"odel theorem, consistency, formal system
Type of Math Object: 
Theorem
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

03F03 no label found03F45 no label found03F40 no label found

Subscribe to Comments for "L\"ob's theorem"