Title: Principes de logique et de philosophie mathematique