La logique est une discipline qui étudie les mathématiques en tant que langage ; elle s’intéresse aux démonstrations et aux raisonnements.