"A Logic of Arbitrary and Indefinite Objects" - читать интересную книгу автора (Shapiro S.C.)