Peut-on former des réseaux profonds pour prouver des théorèmes?
Supposons que nous ayons un grand nombre de preuves dans le calcul des prédicats du premier ordre. Supposons que nous ayons aussi les axiomes, les corollaires et les théorèmes dans ce domaine des mathématiques sous cette forme. Considérez chaque proposition qui a été prouvée et le corps de la...