Incompleteness for Higher-order Arithmetic: An Example Based on Harrington’s Principle

Compartir: