text: Возьмём бесконечное число утверждений: (S1): для всех k > 1, Sk есть ложь (S2): для всех k > 2, Sk есть ложь (S3): для всех k > 3, Sk есть ложь … … В частности, следует обратить особое внимание на тот факт, что каждое утверждение ничего не говорит о своей собственной истинности или ложности, даже косвенным способом, так как оно утверждает что-то лишь об утверждениях с большими номерами, и для всех них это тоже верно.