@misc{Ambroszkiewicz_Stanisław_Continuum_2015, author={Ambroszkiewicz, Stanisław}, abstract={The paper is the revision, extended and full version of the short (6 pages) preliminary presentation of the grounding of the notion of Continuum given in Section 6 of the paper Types and operations ICS PAS Report No. 1030 (also at http://arxiv.org/abs/1501.03043). Here, primitive types (corresponding to the intuitive concept of Continuum) are introduced along with primitive operations, constructors, and relations.}, title={Continuum as a primitive type}, year={2015}, keywords={Continuum, foundations of mathematics}, }