Successor state axiom

From Free net encyclopedia