What are Weak Arithmetics?