This is not a SFW instance. NSFW communities will be tagged, and efforts will be made to keep SFW communities clean, but proceed at your own comfort level.
The symbols/notations were invented and axioms are arguably arbitrarily chosen, but the consequences of those axioms are undeniably discovered not invented
The symbols/notations were invented and axioms are arguably arbitrarily chosen, but the consequences of those axioms are undeniably discovered not invented