LOGIQUE FORMELLE ET MATHÉMATIQUES

摘要

Nous tentons de bien distinguer ce qui sépare les domaines respectifs de la Logique formelle (ou les L.F., ou L. mathématique) et des Mathématiques classiques. Cela ne peut être fait sans introduire la notion de modèles d'une L.F., qui seuls lui donnent sens. Nous quêtons des réponses à nos questions, ou erreurs, de la part de personnes plus compétentes: les L.F. n'apportent-t-elles pas seulement des présomptions aux questions irrésolues des mathématiciens qui les ont suscitées?