On Axiomatic Presuppositions