2026-01-02 15:55:59 CET
in reply to

npub1sf…2ymqt on Nostr: for the foundations of mathematics

for the foundations of mathematics