Bonjour,
J'ai deux petites questions:
- les axiomes ZFC sont la bases de la théorie des ensembles et sont des énoncés de logique des prédicats égalitaire (en ajoutant le symbole). Je me dis donc que puisqu'on a besoin au préalable de la logique des prédicats pour construire la théorie des ensembles, on ne doit pas faire appel à la notion d'ensemble pour la logique des prédicats (je pense
) mais quand on défini le langage de la logique on a un ensemble de symbole (les symboles de variables, de prédicats, ...).
- l'alphabet du langage de la logique des prédicats contient des symboles de fonctions. Or pour moi, on a besoin de la théorie des ensembles pour parler de fonction et on retombe sur le même problème...
Quelqu'un peut il m'expliquer où je me trompe? merci.
-----