1596-1650 andcoremodels aristotle computabilityandrecursiontheory consistencyandindependenceresults continuumhypothesis descartes descriptivesettheory determinacyprinciples general generalandmiscellaneousspecifictopics genericabsolutenessandforcingaxioms history includingconstructibility innermodels largecardinals mathematicallogicandfoundations mathematics neoplatonism ordinaldefinability otherdegreesandreducibilities philosophy rené science settheory