Logique monadique du second ordre
concept Logique où les quantifications du second ordre ne portent que sur des prédicats unaires
Catégories : concepts abstraits
Mots du lexique : logique nom commun, monadique adjectif, Second nom propre, Ordre nom propre