Recherche:Principe de complétude/Prérequis conseillés

Elle utilise largement les logiques de base aristotélicienne, le théorème d'incomplétude de Goëdel, la sémantique de Kripke, la logique modale, la théorie du chaos et, bien sûr la logique intuitionniste.

Toutes ces approches sont des formes de l'intelligence, qu'elle soit artificielle ou naturelle.