# Contents

## Idea

A sum is a result of an operation called addition and denoted $+$ (binary), $0$ (nullary), or $\sum$ (arbitrary).

Revised on May 24, 2017 10:14:54 by Urs Schreiber (131.220.184.222)