2 éléments à classer, 2 runs for 1 chemins
(classement du plus précis au plus général)

axiome de Zorn → axiome → proposition non démontrée

RULES
axiome;6;proposition non démontrée;6