Изменения

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

== См. также ==

*[[m-сводимость]]

== Источники информации ==