§ 5.2

Критерий полноты (теорема Поста)