Wessex in classical heraldry and is found on a number of church windows in derived shields such as the Arms of the Collegiate Church of St Peter at Westminster (Westminster Abbey, which was founded by the king). At its greatest extent Wessex encompassed the modern areas of Hampshire, Isle of Wight, Dorset and Wiltshire, as well as the western half of Berkshire and the eastern hilly flank of Somerset. This covers an area of about . The English author Thomas Hardy used a fictionalised Wessex as a setting for many of his novels, adopting his friend William Barnes' term "Wessex" for
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