Expressions avec fondement

• Fondement des mathématiques,

  discipline qui a pour objet l'analyse logique, mathématique et philosophique des théories mathématiques. (Elle apparaît avec Descartes, dans la perspective d'Euclide ; puis elle renaît au xx^e s. avec le logicisme de Russell, le formalisme de Hilbert et enfin avec une théorie critique à l'égard de cette discipline, l'intuitionnisme de Heyting. Le fondement des mathématiques a acquis le statut de discipline scientifique avec les travaux de Kreisel et de Tarski.)