Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre

Hector Zenil

The formal construction of the second-order logic or predicate calculus essentially adds quantifiers to propositional logic. Why second-order logic cannot be reduced to that of the…