Ushbu maqola Oʻzbekcha Vikipediyadagi Alfred Tarski maqolasidan import qilingan.