Wenn die Grundlagen vollständig sind, so kann die Frage „sind sie für diesen Satz relevant” nur bedeuten „ist dies überhaupt ein mathematischer Satz oder nicht. (Denn er gehört entweder selber zu den Grundlagen oder sie
ssen für ihn relevant sein || [Andere Fassung.]¤ oder muß sich aus ihnen ableiten oder entkräften lassen.)