definite manifold, n.All

Definite manifold (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠a domain where a finite set of axioms decides everything — where "true" and "formally implied by the axioms" mean the same, and nothing further remains open.