sur la thématique du projet AxDef. Compétences Thèse récence en philosophie de la logique et des mathématiques. Connaissances...) en philosophie des sciences (y compris philosophie de la logique, des mathématiques et de l'informatique), ainsi qu'une quarantaine...