It's only in Math that logic is enough.

Posted Apr 11, 2013 16:17 UTC (Thu) by apoelstra (subscriber, #75205)
In reply to: It's only in Math that logic is enough. by Wol
Parent article: The VP8 wars heat up ... again

> Godel has shown that, as I like to put it, "you can have complete, consistent, or adds up. Pick any two". You have to take it on faith that arithmetic works, because Godel has shown it's unprovable.

Well, given those choices you'd always pick "consistent and adds up". But Gödel went one further and said that you can prove consistency if and only if your system is inconsistent.

So you don't even get to choose.