mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

366K
active users

yuuki ゆうき(金野裕希)

an axiom is philosophically a self-evident truth, but logically just an assumption.

before Euclid, everything might've been proven by the Pythagorean theorem.

Euclid proved triangle sum by exterior angle, proven by alternate angle, proven by the parallel postulate, iirc