Arithmetische Interpretation (( ))