Overview
The pure aspect of the natural part represents pure mathematics. It is partitioned into a core component and a structural component. The pure aspect includes meta-ontologies for both set theory and category theory, with set theory in the core component and category theory in the structural component. The core and structural components of the pure aspect of the natural part correspond to the distinction between the foundations and organization of mathematics. In the pure aspect, the finite metalevels are populated by generic and parametric meta-ontologies. Generic means that the terminology and axiomatization for any two metalevels is identical. Parametric means that the metalevel index is a parameter. Hence, only one copy of a meta-ontology with a level parameter is needed for all finite levels.