The justification of set theory: between metaphysics and formal axiomatics
Justification means the act of showing a thing to be just, i.e. based on reasonable grounds, or right. The paper under review is a detailed presentation of the author's philosophical and historical understanding of processes that happened in set theory from its very origin. As for justifications, they are classified in metaphysical (Cantor), logical (Dedekind), metamathematical and formal (Hilbert), and axiomatical (Zermelo). Kurt Gödel's incompleteness theorem completes this classical period.NEWLINENEWLINEFor the entire collection see [Zbl 1236.03004].
scientific article; zbMATH DE number 6208359