La logique des mathématiques — Stanisław Zaremba