Also known as axiomatic theory, system of axioms, set of axioms
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).