В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том, что всякое перечислимое множество является диофантовым.
V knige v dostupnoj dlja studentov-matematikov forme dokazyvaetsja teorema Matijasevicha (1970 goda) o tom, chto vsjakoe perechislimoe mnozhestvo javljaetsja diofantovym.