Wenn die Grundlagen vollstandig 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
müßen für ihn relevant sein Andere Fassung.
[ oder muß sich aus ihnen ableiten oder entkräften lassen ]
)