Gödel’s program
John R. Steel · Cambridge University Press eBooks · 2014
Set theorists have discovered many mutually incompatible natural theories extend-ing ZFC. It is possible that these incompatibilities will be resolved by interpreting all such theories in a useful common framework theory. 1