قضیه نرتن - زبان‌های دیگر