Title: Provability as an order map of the Lindenbaum algebra
Subjects: Axioms, Logic, Symbolic and mathematical, Proof theory, Symbolic and mathematical Logic