Post #2668012
2026-05-08 06:37 UTC
@mc@mathstodon.xyz This is not synthetic. This is non-computable axioms :-)
Replies (1)
-
@5ht@mathstodon.xyz 2026-05-08 06:38
@mc@mathstodon.xyz I cut all words and leave only terms: https://github.com/groupoid/anders/blob/main/library/foundations/logic/minimalist.anders Looks like meaningless to me or at least non powerful, 1-st year of education note article.