Sequence Logic, often abbreviated 'seqlog', is an alternative arithmetical representation system from the standard Peano Axioms.
Seqlog uses the symbols 's' (the sucessor function), 'z' (the zero function), 'n' (the sequence of natural numbers), 'v' (the value function), '0' (the number zero), and '\0' (null object).