Thomas Hardy's Wessex Thomas Hardy's Wessex The English author Thomas Hardy set all of his major novels in the south and southwest of England. He named the area "Wessex" after the medieval Anglo-Saxon kingdom that existed in this part of that country prior to the unification of England by Æthelstan. Although the places that appear in his novels actually exist, in many cases he gave the place a fictional name. For example, Hardy's home town of Dorchester is called Casterbridge in his books, notably in "The Mayor of Casterbridge". In an 1895 preface to the novel "Far From the Madding Crowd" he described
S (set theory) ω + "n" for finite "n", but not of stage ω + ω. Nevertheless, S yields enough of Cantor's paradise to ground almost all of contemporary mathematics. Boolos compares S at some length to a variant of the system of Frege’s "Grundgesetze", in which Hume's principle, taken as an axiom, replaces Frege’s Basic Law V, an unrestricted comprehension axiom which made Frege's system inconsistent; see Russell's paradox. S (set theory) S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". S, a first-order theory, is two-sorted because its ontology includes “stages” as well