*Transfinite iteration of theories, due to Alan Turing and Solomon Feferman;
*The discovery of self-verifying theories, systems strong enough to talk about themselves, but too weak to carry out the diagonal argument that is the key to Gödel's unprovability argument.

In parallel to the rise and fall of Hilbert's program, the foundations of structural proof theory