Éditeur(s) :
                
                    
                        
                            Calvage et Mounet
                        
                    
        
        
                
                
        Dans ce second volume, l'auteur montre des énoncés indémontrables à partir de ZFC, incluant des hypothèses plus fortes et des énoncés indépendants comme l'hypothèse du continu. Il utilise des outils sémantiques, le théorème de complétude et l'incomplétude de Gödel, e...
                
                
        49,00 €