ScyberLabPreview
Open in TheBrain

Il n'existe pas par conséquent d'algorithmes capable de décider si un formule logique est vrai ou fausse