Paul Lorenzen Métamathématique

Tarski, les méthodes métamathématiques de ces dernièresdécennies ont ... des collections d'objets, ne sont plus alors que des cas particuliers de nos.