Three-term natural arithmetic