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