Incompleteness for Higher-Order Arithmetic - An Example Based on Harrington’s Principle 2019 · ENGLISH · PDF View details →