[smadge]

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.