Search results

Ω-consistent theory
Mathematics Vol. I, Wolters-Noordhoff, North-Holland 0-7204-2103-9, Elsevier 0-444-10088-1. Smorynski, "The incompleteness theorems", Handbook of Mathematical...

13 KB (1,941 words) - 12:31, 30 January 2024
Actual infinity
Metamathematics, North-Holland Publishing Company, Amsterdam New York. ISBN 0-444-10088-1. H. Meschkowski 1981, Georg Cantor: Leben, Werk und Wirkung (2. Aufl...

19 KB (2,556 words) - 15:57, 2 September 2024