théorème de Frege : théorème • métathéorème
-------------------------------

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


RULES