Mathematical Methodology

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Mathematical Methodology.

• Classification theorem — A theorem enumerating every object of a declared mathematical type up to a stated equivalence, without omission or redundant equivalence classes.