User:Peter Schmitt/Sandbox

%% 15jun09 [Gödel]

There might exist axioms so abundant in their verifiable consequences, shedding so much light upon a whole discipline, and furnishing such powerful methods for solving given problems (and even solving them, as far as possible, in a constructivistic way) that quite irrespective of their intrinsic necessety they would have to be assumed at least in the same sense as any establishe physical theory.