The basic operations of mathematics