2 éléments à classer, 2 runs for 2 chemins (classement du plus précis au plus général)théorème de Frege → métathéorème théorème de Frege → théorème
RULES