Foundational implications of the inner model hypothesis