>>11909220That's exactly the point. There are specific qualities that the systems his arguments apply to have. But these qualities are what makes the systems interesting or useful. For example, Godel's arguments don't apply to inconsistent systems, but these are useless. Godel's arguments also don't apply to 0th order logic, but formulas in 0th order logic are mostly uninteresting, and can be proved or refuted very easily.
