IN THE NAME OF GOD, THE MOST BENEFICENT, THE MOST MERCIFUL
this both get out of my head all the time, definition vs theorem, and others.
https://users.math.msu.edu/users/duncan42/AxiomNotes.pdf