Über diesen Artikel
Online veröffentlicht: 06. Apr. 2021
Seitenbereich: 239 - 249
Akzeptiert: 25. Sept. 2020
DOI: https://doi.org/10.2478/forma-2020-0021
Schlüsselwörter
© 2020 Sebastian Koch, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.