0 Members and 1 Guest are viewing this topic.

axioms of operators called Stoppers and Attractors.

Are these provable?(Or is it turtles all the way down?)

So, what you have said is that, if we assume a set of axioms we no longer need to assume a different set of axioms.