Science does not have theorems, mathematics has theorems. Science has threorys.
These are different ways to view acids and bases.
Bronstead Lowery --An acid is a protron donor (H+), a base is a proton (H+) acceptor.
Take hydrogen chloride (HCl)--dissolve it in water (Ag) it becomes an acid as the proton (positive hydrogen ion is given up)
Svante Arrhenius--came up with the conept of neutralization of strong acids and strong bases. that led to the acid base theory of Bronstead-Lowery.