This paper proposes linear logic as an alternative foundation for arithmetic, through the proof system μMALL. Key results show how to compute functions based on μMALL specifications, establish consistency of the classical system μLK+, contain Peano arithmetic within μLK+, and prove conservativity of μLK+ over μMALL.