"Diagonal Arguments and Cartesian Closed Categories" - читать интересную книгу автора (Lawvere F.W.)