Did you mean to write “there is no effective procedure to determine whether an arbitrary formula follows from those axioms?” A proof is exactly how we demonstr

Did you mean to write “there is no effective procedure to determine whether an arbitrary formula follows from those axioms?” A proof is exactly how we demonstrate that a formula follows from the axioms.