>And then you also probably don't like being reminded that ZFC's consistency (or not) is unprovable [5]. Unprovable within ZFC. Peano arithmetic is proven cons

>And then you also probably don't like being reminded that ZFC's consistency (or not) is unprovable [5]. Unprovable within ZFC. Peano arithmetic is proven consistent, but it cannot prove itself consistent. This is an important distinction, cf http://bit.ly/lGtEDm http://bit.ly/lGtEDm