Join Nostr
2026-08-11 19:27:21 UTC
in reply to

julesh on Nostr: I think I never knew that the Tarski high school algebra axioms even had finite ...

I think I never knew that the Tarski high school algebra axioms even had finite models at all, but now I think about it it's not really any more weird than the existence of finite fields