что думаете про A Quick Look at Impredicativity? Я чет почитал и не понимаю, почему это преподносится как спасение от проблемы импредикативности. По-моему, слишком ad hoc и unprincipled
что думаете про A Quick Look at Impredicativity? Я чет почитал и не понимаю, почему это преподносится как спасение от проблемы импредикативности. По-моему, слишком ad hoc и unprincipled