If you can't prove 'em, theorem
WAITIf you can't prove 'em, axiom
@ionchy reminds me of the classic "If you need to prove a theorem, Yoneda lemma"
ｃｙｂｒｅｓｐａｃｅ: the social hub of the information superhighway
jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal
support us on patreon or liberapay!