Imagen Principal
1 2

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

Imagen ampliada