Algebraic Postulative Proofs