Yabloのパラドックスの形式化
C. Cieśliński, R. Urbaniak; "Gödelizing the Yablo sequence"
A. Karimi, S. Salehi; "Theoremizing Yablo’s Paradox"