The formal repertoire of mechanics from a single binary operator - DRAFT

Abstract

The research is still ongoing, and this serves mainly as proof of paternity. It will be finalized soon.Odrzywółek showed that one binary operator on the reals, with the constant 1 as seed, generates a declared36-primitive basis of elementary mathematics by nesting alone. This paper makes the analogous claim onetype up, and proves it at the same standard