Нужно решить задания:
1. Покажите, что если

.
2. Приведите пример предложения S, такого, что множество всех четных чисел не вынуждает ни S, ни

.
1) По поводу первого задания - у меня только одна бредовая идея:
Если

, то автоматически

, т.к любое усиление P будет в этом случае вынуждать

.
2) Для задания 2 я хочу задать предложение S таким, чтобы его элементы не принадлежали натуральным числам и таким образом множество четных чисел не будет вынуждать ни S, ни

.