Projekt Logiki Infinitarnej Ernsta Zermela

Abstract

This paper is a summary of a more comprehensive work Infinitarna Logika Ernsta Zermela (The Infinitary Logic of Ernst Zermelo) being currently under preparation for the research grant KBN 2H01A 00725 Metody nieskończonościowe w teorii definicji

“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic

“…The starting point for this paper wasPogonowski 2006, an article in Polish, published in a journal of local coverage and related to a more comprehensive but still unpublished work Infinitarna Logika Ernsta Zermela (The Infinitary Logic of Ernst Zermelo) written for the research grant KBN 2H01A 00725 Metody nieskończonościowe w teorii definicji (Infinitary methods in the theory of definitions) headed by Professor Janusz Czelakowski at the Institute of Mathematics and Information Science of the University of Opole, Poland. The final version of this paper contains essential improvements of the works mentioned above.…”