Besonderhede van voorbeeld: 5235849318663441653

English

What we do in any formal system has its parallel in arithmetical manipulations.

French

Toute opération dans un système formel donné correspond à une suite de manipulations arithmétiques.