This was historically the first problem for which undecidability could be proven.
این مسئله از لحاظ تاریخی اولین مشکل بود که قابل اثبات نیست.