"Foundations without foundationalism: A case for second-order logic" - читать интересную книгу автора (Stewart Shapiro)