What can justify the steps of a proof?

Mathematical logic.