J.Duparc à propos de ZFC
première partie
________________________
@Monstre Le Puissant ce sujet (qui d'ailleurs m'a été demandé par JMI pour le rassurer)
est là pour démontrer que Jacques Duparc n'est pas le gourou d'une secte
@JMI il me faudra plusieurs posts pour terminer
il faudrait que tu poste un commentaire à chaque fois car le matin je part tôt et le soir
je ne pourrais pas poster la suite si on ne place pas de commentaire
______________________________________
une fois tous les axiomes écrits il faudra que je les écrive sous la forme d'arbres(c'est particulièrement chiant à faire)
ici pour ce post axiomes de (1) à (5) en linéaires
la suite pour les axiomes de (6) à (9) ce soir
et la démo demandée pour l'ensemble vide
________________________________________
Quoi de mieux que de commencer ce sujet qu'en plaçant cette citation
Je cite J'm'interroge
J'ai l'impression que la théorie des ensembles est une sorte de secte avec ses gourous détenteurs de compréhensions impénétrables
Qui sait? peut être, peut être...
Mais entrons dans le sujet
tout dabord faisons connaissance
de qui s'agit-il?
de lui : notre commandant suprême de toute la galaxie (c'est plus grand que la Suisse mais moins grand que l'univers)
Baltar
heu non pardon ... de lui : lol
______________________________
Alors afin de rassurer JMI que nous ne faisons pas partie d'une secte
il s'agissait de montrer ZFC sans l'axiome de l'ensemble vide
et de présenter l'ensemble vide comme un théorème (donc une conséquence des axiomes)
allons-y :
Les axiomes de Zermelo-Fraenkel avec axiome de choix par Jacques Duparc
Au total neuf axiomes
Soit dit avant l'arrivée de GK, les Chamans de Vassiougan plaçaient un arbre à neuf branches au "centre" du marais
c'est marrant là-bas il n'y a pas un seul arbre mais bon passons...
________________________________________________________
la suite dans la nuit de dimanche (il en reste beaucoup à faire)
(6) et (7) sont lourds (c'est du genre aussi gros que ce post)
et là je dois partir bosser (d'ailleurs je suis en retard)