Also known as mathematical constructivism, constructivist mathematics, constructive mathematics
mathematical viewpoint that existence proofs must be constructive
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).