165
правок
Изменения
→Вероятность существования единственного удовлетворяющего набора
===Вероятность существования единственного удовлетворяющего набора===
Осталось доказать, что с необходимой нам вероятностью при условии выполнимости <tex>\phi</tex> каждая построенная формула <tex>\phi_k</tex> имеет единственный набор, ее удовлетворяющий.
Дальнейшие рассуждения рекомендуется читать медленно и внимательно:
