# Talk:816: Applied Math

Where IS the indication that she got the address from Black Hat ?Guru-45 (talk) 10:45, 17 May 2013 (UTC)

She must have derived it via the principle of explosion. 108.162.221.90 19:58, 12 May 2014 (UTC)

- Which is a reference to xkcd #704. 108.162.254.56 11:45, 8 June 2015 (UTC)

If you look in the top-right corner, you can see what looks like "ZFC," (Zermelo-Fraenkel Set Theory with the Axiom of Choice), which is a a dozen or so axioms that all of mathematics is built upon. Because of Godel's Incompleteness Theorems, it is impossible to prove that ZFC contains no contradictions (unless it actually does contain contradictions). If Megan proved the inconsistency of logic, she certainly could show as a corrollary the inconsistency of ZFC, and therefore all of mathematics. Even statements like 2+2=4 could be proven false. String userName = new String(); (talk) 20:20, 7 May 2015 (UTC)