Định lý Kuratowski – Theo ngôn ngữ khác