 This inspired Gödel to search for new axioms which can be extrinsically motivated and which can decide questions such as the continuum hypothesis which are highly independent of ZFC (cf.  section 5.1).