Všetky základné aritmetické pojmy možno definovať výlučne prostredníctvom logických pojmov. Všetky zákony aritmetiky možno odvodiť pomocou logických pravidiel.