Un circuit logique programmable, ou réseau logique programmable, est un circuit intégré logique qui peut être reprogrammé après sa fabrication. Il est composé de nombreuses cellules logiques ...
Ceci est une conséquence du théorème d'incomplétude. Accessoirement, ce théorème de la sous-formule fournit un théorème de cohérence pour la logique, car il interdit la dérivation de la formule vide ...