Metadata
Author: WikiMatrix
Data
Polish[pl]
Ackermann kontynuował badania w dziedzinie logiki dowodząc niesprzeczności teorii mnogości (1937), arytmetyki Peana i podając nową aksjomatykę teorii mnogości (1956).
Russian[ru]
Аккерман работал над доказательством непротиворечивости теории множеств (1937), полной арифметики (1940), свободной логики (1952) и новой аксиоматизацией теории множеств (1956).