logique classique

concept première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique