Posts

Godelizing the Yablo sequence