Axiomatizing logic isn’t to make us implement logic in the first place!
It’s to enable us to store and communicate logic.
Axiomatizing logic isn’t to make us implement logic in the first place!
It’s to enable us to store and communicate logic.