Hacker News new | past | comments | ask | show | jobs | submit login

It doesn't follow from consistency in itself. It is possible to imagine a formal system that is consistent but nevertheless doesn't predict the behaviour of calculators. If you presume that ZFC correctly models the behaviour of calculators, or that PA models calculators and inconsistency of PA implies inconsistency of ZFC, then sure it follows from consistency of ZFC, but that was the point, namely that there is a difference between a purely formal system that only exposes itself to inconsistency tests, and a formal system that exposes itself to external tests. Numbers aren't the only way that math does that. Geometry makes predictions about the behaviour of rulers and compasses, for instance.

Contrast this with a discipline in which there is jargon and arguments about that jargon. It might be the case that the jargon and the basic ways of arguing about the jargon forms a consistent system in some sense, even though the whole enterprise is meaningless.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact