Le 18 septembre 2023 à 21:46:57 :Il te faut déjà les notions de base en logique propositionnelle
Oui d'accord maintenant explique moi
Les fondements mathématiques c'est un bordel sans nom
Pour formaliser complètement la théorie des ensembles, il te faut d'abord formaliser la logique propositionnelle, sauf que celle-ci nécessite également une notion d'ensemble pour être formalisée
Afficher uniquement les messages de l'auteur du topic
JvArchive compagnon