Overview

The core component of the pure aspect of the natural part of the IFF represents set-theoretic foundations. From one perspective, the core component represents the foundations of mathematics, as opposed to the organization of mathematics. There is only one meta-ontology in the core component — the generic and parametric IFF Core (meta) Ontology (IFF-CORE). 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 the generic IFF-SET meta-ontology with a level parameter is needed for all finite levels.