http://laurent.xn--phnix-csa.net/ fr Tue, 15 Jul 2008 16:25:01 +0200 http://blogs.law.harvard.edu/tech/rss Dotclear http://laurent.xn--phnix-csa.net/post/2008/02/02/Consistence-logique-de-Dieu#c772 urn:md5:d789db156c72837f32afd33b24c8e510 Sun, 03 Feb 2008 11:27:01 +0100 seb <p>ooops sorry pour la faute d'ortho : «vérifié» bien sûr</p> <p>&lt;ce dernier commentaire peut être apparenté à de Spam ^^&gt;</p> http://laurent.xn--phnix-csa.net/post/2008/02/02/Consistence-logique-de-Dieu#c771 urn:md5:fbb738fbfb8cfd6281ce95975f5bc443 Sun, 03 Feb 2008 11:25:55 +0100 seb <p>Il suffirait de nier le lemme de Zorn : si l'axiome du choix n'est pas vérifier, il existe un ensemble inductif non vide qui n'admet aucun élément maximal.<br /> Donc voilà l'inconsistance logique de Dieu est établie ! :D</p>