1. Donner un caractère métamathématique à.Tandis que Hilbert maintenait une stricte division entre problèmes et méthodes mathématiques d’une part, problèmes et méthodes métamathématiques de l’autre, que formaliser fût métamathématiser ne prêtait à conséquence que pour les logiciens.Nous pourrions prendre d’abord l’exemple de la mathématique et de son impuissance à se « métamathématiser » ou à se théoriser elle-même.