Парадокс лжеца: различия между версиями

Если <math>Yablo_1</math> истинно, то ложны все <math>Yablo_i</math> при <math>i > 1</math> и, в частности, ложно <math>Yablo_2</math>. Значит, существует такое <math>i > 2</math>, что <math>Yablo_k</math> истинно, противоречие. Если <math>Yablo_1</math> ложно, то существует истинное <math>Yablo_i</math> при <math>i > 1</math>, а потому получаем противоречие аналогично первому случаю{{sfn|Beall, Glanzberg|2016|loc=1.5 Infinite sequences}}.

 

 

== См. также ==