Eine Gleichung gewinnt erst in einem Kalkül mathematische Bedeutung.
4

     So ist “lim (n = inf)
1
n
= 0” eine willkürliche Ersetzungsregel, solange der Ausdruck “lim etc.” nicht in einem Limes-Kalkül steht.