המשפט היסודי של האריתמטיקה – שפות אחרות