Θεώρημα ύπαρξης του Πεάνο - Άλλες γλώσσες