I’m guessing he’s not talking about first order logic when he’s talking about defining ‘logic’ with a single axiom because it seems to me there are a whole hell

I’m guessing he’s not talking about first order logic when he’s talking about defining ‘logic’ with a single axiom because it seems to me there are a whole hell of a lot of steps missing to go from his axiom to ‘proving’ anything at all.