Loading...
Uploaded by speedmetal17 on Sep 3, 2009
If a proof system for arithmetic is sound (meaning that only true formulas are provable) then there must be a true formula that is not provable.
Music
Standard YouTube License
you're cute.
sassyheina 2 years ago
Load more suggestions
you're cute.
sassyheina 2 years ago