« Recherche:Principe de complétude/Prérequis conseillés » : différence entre les versions
Contenu supprimé Contenu ajouté
Page créée avec « Cette recherche s'effectue au niveau 16. Elle utilise largement les logiques de base aristotélicienne, le théorème d'incomplétude de Goëdel, la w:Sémantique_de_Kr... » |
Aucun résumé des modifications |
||
Ligne 1 :
Elle utilise largement les logiques de base aristotélicienne, le théorème d'incomplétude de Goëdel, la [[w:Sémantique_de_Kripke|sémantique de Kripke]], la [[w:Logique_modale|logique modale]], la [[w:Théorie_du_chaos|théorie du chaos]] et, bien sûr la [[w:Logique_intuitionniste|logique intuitionniste]].
| |||