4.1271

Ogni variabile è il segno di un concetto formale.