without Gödel’s theorem it might have been possible to imagine that the intuitive notions of ‘self-evidence’ and ‘meaning’ could have been employed just once and for all, merely to set up the formal system in the first place, and thereafter dispensed with as part of clear mathematical argument for determining truth.
