Wessex the ensuing Norman Conquest of England, and as the Norman kings soon did away with the great earldoms of the late Anglo-Saxon period, 1066 marks the extinction of Wessex as a political unit. From the second edition (1989) of the "Oxford English Dictionary": Wessex 1. The name of a kingdom in south-west England in Anglo-Saxon times, used by Thomas Hardy as the name of the county in which his stories are set (corresponding approximately to Dorset, Somerset, Hampshire, and Wiltshire) and since used as a name for south-west England or this part of it. Wessex is often symbolised by a
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