83135 - Le code
N. Lygeros
Le code
des relations
est tellement
riche
qu’il supporte
d’être exploité
pour engendrer
des théorèmes
plus profonds
que l’imaginaire
car il rend
accessibles
des concepts
et des axiomes
d’une grande
complexité
formelle.