Rosser型Yablo論理式