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