Le système pg, lui, contient plusieurs « supports
d'information », les théorèmes, alors que le « révélateur d'information
» est l'interprétation, qui est si transparente que nous n'avons
besoin d'aucune machine électrique pour nous aider à extraire
l'information des théorèmes de pg.