Universal arithmetick