Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier - Zach, Richard (Philosophiques)