Logique (mathématiques)/Prérequis conseillés