Mostowski Andrzej (1913-1975
O niezależności definicji skończoności w systemie logiki