Kreisel's squeezing argument and Shapiro's categoricity results suggest second-order logical consequ...