Logique, ensemble et raisonnements ; équations.