Изменения

Простые множества являются примерами перечислимых множеств, не являющихся m-полными. Именно так и возникло понятие простого множества: Пост (англ. ''Post'' ) искал пример перечислимого неразрешимого множества, которое не было бы m-полным.