Avant de trouver son nom actuel, attribué à Giuseppe Peano, la logique mathématique s'est appelée " logique symbolique " (en opposition à la logique philosophique) et " métamathématique " ...

Ceci est une conséquence du théorème d'incomplétude. Accessoirement, ce théorème de la sous-formule fournit un théorème de cohérence pour la logique, car il interdit la dérivation de la formule vide ...