There's also a Plus article on Woodin's work on a "golden axiom" that Maarten has mentioned: http://plus.maths.org/content/searching-missing-truth

By submitting this form, you accept the Mollom privacy policy.