People will talk about axioms and rules of deduction, and say
that a proof consists of (effectively) a web of statements, each
of which is either an axiom, or the result of applying a rule of
deduction/derivation from earlier statements.
Well, perhaps, in theory, yes.
In practice, that's not how it works. It's much murkier.
