An abstract system that uses prime factorization to break numbers down into expressions involving two operations and the number 1.