"Foundations without Foundationalism: A Case for Second-Order Logic (Oxford Logic Guides, Volume 17)" - читать интересную книгу автора (Stewart Shapiro)