Conway triangle notation

Pocket set theory (PST) is an alternative set theory in which there are only two infinite cardinals, ℵ₀ and c. The theory was first suggested by Rudy Rucker in his Infinity and the Mind. The details set out in this entry are due to the American mathematician Randall M. Holmes.

Arguments supporting PST

There are at least two independent arguments in favor of a small set theory like PST.

1. One can get the impression from mathematical practice outside set theory that there are “only two infinite cardinals which demonstrably ‘occur in nature’ (the cardinality of the natural numbers and the cardinality of the continuum),” therefore “set theory produces far more superstructure than is needed to support classical mathematics.” Although it may be an exaggeration (one can get into a situation in which one has to talk about arbitrary sets of real numbers or real functions), with some technical tricks a considerable portion of mathematics can be reconstructed within PST; certainly enough for most of its practical applications.
2. A second argument arises from foundational considerations. Most of mathematics can be implemented in standard set theory or one of its large alternatives. Set theories, on the other hand, are introduced in terms of a logical system; in most cases it is first-order logic. The syntax and semantics of first-order logic, on the other hand, is built on set-theoretical grounds. Thus, there is a foundational circularity, which forces us to choose as weak a theory as possible for bootstrapping. This line of thought, again, leads to small set theories.

Thus, there are reasons to think that Cantor's infinite hierarchy of the infinites is superfluous. Pocket set theory is a “minimalistic” set theory that allows for only two infinites: the cardinality ${\mathrm{\aleph }}_0$ of the (standard) natural numbers and the cardinality $2^{{\mathrm{\aleph }}_0}$ of the (standard) reals.

The theory

PST uses standard first-order language with identity and the binary relation symbol $\in$. Ordinary variables are upper case X, Y, etc. In the intended interpretation, the variables these stand for classes, and the atomic formula $X\in Y$ means "class X is an element of class Y". A set is a class that is an element of a class. Small case variables x, y, etc. stand for sets. A proper class is a class that is not a set. Two classes are equinumerous iff a bijection exists between them. A class is infinite iff it is equinumerous with one of its proper subclasses. The axioms of PST are

(A1) (extensionality) — Classes that have the same elements are the same.

$\mathrm{\forall }z(z\in X\leftrightarrow z\in Y)\to X=Y$

(A2) (class comprehension) — If $\varphi (x)$ is a formula, then there exists a class the elements of which are exactly those sets x that satisfy $\varphi (x)$.

$\mathrm{\exists }Y\mathrm{\forall }x(x\in Y\leftrightarrow \varphi (x))$

(A3) (axiom of infinity) — There is an infinite set, and all infinite sets are equinumerous.

$\mathrm{\exists }x(\mathrm{i}\mathrm{n}\mathrm{f}(x)\wedge \mathrm{\forall }y(\mathrm{i}\mathrm{n}\mathrm{f}(y)\to x\approx y))$

(inf(x) stands for “x is infinite”; $x\approx y$ abbreviates that x is equinumerous with y.)

(A4) (limitation of size) – A class is a proper class if and only if it s equinumerous with all proper classes.

$\mathrm{\forall }X\mathrm{\forall }Y((\mathrm{p}\mathrm{r}(X)\wedge \mathrm{p}\mathrm{r}(Y))\leftrightarrow (\mathrm{p}\mathrm{r}(X)\wedge X\approx Y))$

(pr(X) stands for “X is a proper class”.)

Remarks on the axioms

• Although different kinds of variables are used for classes and sets, the language is not many-sorted; sets are identified with classes having the same extension. Small case variables are used as mere abbreviations for various contexts; e.g.,

$\mathrm{\forall }x\varphi (x){\iff }_{\mathrm{d}\mathrm{e}\mathrm{f}}\mathrm{\forall }X(\mathrm{s}\mathrm{e}\mathrm{t}(X)\to \varphi (X))$

• Since the quantification in A2 ranges over classes, i.e., $\varphi (x)$ is not set-bound, A2 is the comprehension scheme of Morse–Kelley set theory, not that of Von Neumann–Bernays–Gödel set theory. This extra strength of A2 is employed in the definition of the ordinals (not presented here).
• Since there is no axiom of pairing, it must be proved that for any two sets x and y, the Kuratowski pair {{x},{x,y}} exists and is a set. Hence proving that there exists a one-to-one correspondence between two classes does not prove that they are equinumerous.

Some PST theorems

1. The Russell class $\mathrm{R}$ is a proper class. ($\mathrm{R}{=}_{\mathrm{d}\mathrm{e}\mathrm{f}}\{x|x\notin x\}$)

Proof. $\mathrm{R}$ cannot be a set by Russell's paradox. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.

As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise

Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial

LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District

The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.

ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and

Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?

GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

2. The empty class $\mathrm{\varnothing }$ is a set. ($\mathrm{\varnothing }{=}_{\mathrm{d}\mathrm{e}\mathrm{f}}\{x|x\ne x\}$)

Proof. Suppose (towards a contradiction) that $\mathrm{\varnothing }$ is a proper class. By (A4), $\mathrm{\varnothing }$ must be equinumerous with $\mathrm{R}$, in which case $\mathrm{R}$ is empty. Let i be an infinite set, and consider the class $\{i\}$. It is not equinumerous with $\mathrm{\varnothing }$, thus it is a set. It is finite, but its single element is infinite, thus it cannot be an element of itself. Therefore, it is an element of $\mathrm{R}$. This contradicts that $\mathrm{R}$ is empty. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.

As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise

Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial

LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District

The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.

ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and

Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?

GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

3. The singleton class $\{\mathrm{\varnothing }\}$ is a set.

Proof. Suppose that $\{\mathrm{\varnothing }\}$ is a proper class. Then by (A4), every proper class is a singleton. Let i be an infinite set and consider the class $\{\mathrm{\varnothing },i\}$. It is neither a proper class (because it is not singleton) nor an element of itself (because it is neither empty nor infinite). Thus $\{\mathrm{\varnothing },i\}\in R$ holds by definition, so $\mathrm{R}$ has at least two elements, $\mathrm{\varnothing }$ and $\{\mathrm{\varnothing },i\}$. This contradicts the initial assumption that proper classes are singletons. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.

As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise

Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial

LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District

The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.

ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and

Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?

GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

4. $\mathrm{R}$ is infinite.

Proof. Let ${\mathrm{R}}^{-}{=}_{\mathrm{d}\mathrm{e}\mathrm{f}}\mathrm{R}\setminus \{\mathrm{\varnothing }\}$. Suppose that this class is a set. Then either ${\mathrm{R}}^{-}\in {\mathrm{R}}^{-}$ or ${\mathrm{R}}^{-}\notin {\mathrm{R}}^{-}$. In the first case, the definition of ${\mathrm{R}}^{-}$ implies that ${\mathrm{R}}^{-}\in \mathrm{R}$, from, which it follows that ${\mathrm{R}}^{-}\notin {\mathrm{R}}^{-}$, a contradiction. In the second case, the definition of ${\mathrm{R}}^{-}$ implies either ${\mathrm{R}}^{-}\notin \mathrm{R}$ and hence ${\mathrm{R}}^{-}\in {\mathrm{R}}^{-}$, a contradiction, or ${\mathrm{R}}^{-}=\mathrm{\varnothing }$. But ${\mathrm{R}}^{-}$ cannot be empty because it has at least one element, namely $\{\mathrm{\varnothing }\}$. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.

As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise

Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial

LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District

The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.

ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and

Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?

GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

5. Every finite class is a set.

Proof. Let X be a proper class. By (A4), there exists an $F:X⟶\mathrm{R}$ such that F is a bijection. This contains a pair $⟨x_0,\mathrm{\varnothing }⟩$, and for each member r of ${\mathrm{R}}^{-}$ , a pair $⟨x,r⟩$. Let $X^{-}=X\setminus \left\{x_0\right\}$ and $F^{-}=F\setminus \{⟨x_0,\mathrm{\varnothing }⟩\}$. By (A4), both of these classes exist. Now, $F^{-}:X^{-}⟶{\mathrm{R}}^{-}$ is a bijection. Thus by (A4), $X^{-}$ is a proper class, too. Clearly, $X^{-}\subseteq X$ and $X^{-}\ne X$. Now, another application of (A4) shows that there exists a bijection $G:X⟶X^{-}$. This proves that X is infinite. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.

As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise

Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial

LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District

The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.

ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and

Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?

GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

Once the above facts are settled, the following results can be proved:

6. The class V of sets ($\mathrm{V}{=}_{\mathrm{d}\mathrm{e}\mathrm{f}}\{x|\mathrm{s}\mathrm{e}\mathrm{t}(x)\}$) consists of all hereditarily countable sets.

7. Every proper class has the cardinality $\mathfrak{c}$.

Proof. Let i be an infinite set, in which case the class $\mathcal{𝒫}(i)$ has cardinality $2^{{\mathrm{\aleph }}_0}$. By (A4), all proper classes have cardinality $2^{{\mathrm{\aleph }}_0}$. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.

As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise

Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial

LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District

The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.

ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and

Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?

GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

8. The union class of a set is a set.

PST also verifies the:

• Continuum hypothesis. This follows from (5) and (6) above;
• Axiom of replacement. This is a consequence of (A4);
• Axiom of choice. Proof. The class Ord of all ordinals is well-ordered by definition. Ord and the class V of all sets are both proper classes, because of the Burali-Forti paradox and Cantor's paradox, respectively. Therefore there exists a bijection between V and Ord, which well-orders V. PROPERTY builders did not have the simplest year, what with the cooling measures imposed in January and the loan curbs in June, but some still managed to do effectively while others made their first foray abroad.
  
  As a public-listed company and a pioneer in the improvement of landed properties in Singapore, we have now been constructing some of Singapore's nicely-recognized, established residential estates for over 50 years. Our many developments in Singapore are an affidavit of our steady want to create not just high quality houses however communities for you and your family members Hotel Properties Limited (HPL) was listed on the Inventory Trade of Singapore in 1982. Beginning with simply the Hilton Lodge in Singapore, HPL has expanded rapidly through the years. As we speak HPL has pursuits in 19 resorts with almost 4000 rooms in 8 countries. An Choice or Settlement/Contract for the Buy of a Home or Flat will be formedin many ways e.g. A gaggle of persons, whether in partnership or otherwise
  
  Certainly one of Asia's premier property firms, Keppel Land is recognised for its sterling portfolio of award-profitable residential developments and funding-grade business properties as well as excessive requirements of company governance and transparency. Keppel Land is without doubt one of the largest listed property corporations by total assets on the Singapore Change. The Group's total assets amounted to about $13.eight billion as at 31 March 2014. Additionally it is a component of a number of stock indices including the FTSE ST Real Property Index, FTSE ST China Prime Index, FTSE All-World Index, FTSE Asia Pacific ex-Japan Index, FTSE EPRA/NAREIT World Real Estate Index and EPRA/NAREIT Index. WOODSVALE PERSONAL CONDOMINIUM CONDOMINIUM WOODSVALE CLOSE, SINGAPORE (DISTRICT thirteen) Industrial
  
  LINCOLN RESIDENCES, THE NON-PUBLIC CONDOMINIUM APARTMENT SURREY STREET, SINGAPORE (DISTRICT eleven) LUCIDA NON-PUBLIC CONDOMINIUM APARTMENT SUFFOLK ROAD, SINGAPORE (DISTRICT 11) LUMOS, THE PRIVATE CONDOMINIUM APARTMENT LEONIE HILL, SINGAPORE (DISTRICT 09) LUXURIE, THE PRIVATE CONDOMINIUM CONDOMINIUM COMPASSVALE BOW, SINGAPORE (DISTRICT 19) M66 NON-PUBLIC CONDOMINIUM RESIDENCE MOONSTONE LANE, SINGAPORE (DISTRICT 12) MARINA BAY SUITES PRIVATE CONDOMINIUM CONDOMINIUM CENTRAL BOULEVARD, SINGAPORE (DISTRICT 01) MEIER SUITES PERSONAL CONDOMINIUM house in singapore MARGATE STREET, SINGAPORE (DISTRICT 15) MKZ, THE NON-PUBLIC CONDOMINIUM CONDO MACKENZIE STREET, SINGAPORE (DISTRICT 09) MONTCLAIR @ WHITLEY CLUSTER STRATA HOUSE WHITLEY HIGHWAY, SINGAPORE (DISTRICT 11) Condominiums by District
  
  The Singapore Property Awards recognise excellence in actual estate development initiatives or individual properties in terms of design, aesthetics, functionality, contribution to the constructed atmosphere and neighborhood at massive. It represents an outstanding achievement which developers, professionals and property house owners aspire to achieve. It bestows upon the winner the correct to use the coveted award emblem recognised extensively throughout the FIABCI network.
  
  ADRIA NON-PUBLIC CONDOMINIUM CONDOMINIUM DERBYSHIRE HIGHWAY, THOMSON ROAD, SINGAPORE (DISTRICT eleven) AMBER RESIDENCES (PREPARED HOUSES) PRIVATE CONDOMINIUM RESIDENCE AMBER STREET, SINGAPORE (DISTRICT 15) ARC AT TAMPINES GOVERNMENT CONDOMINIUM APARTMENT TAMPINES AVENUE 8, SINGAPORE (DISTRICT 18) ARDMORE RESIDENCE NON-PUBLIC CONDOMINIUM CONDO ARDMORE PARK, SINGAPORE (DISTRICT 10) ARISTO @ AMBER , THE PRIVATE CONDOMINIUM CONDOMINIUM AMBER STREET, SINGAPORE (DISTRICT 15) ASPEN LINQ NON-PUBLIC CONDOMINIUM RESIDENCE INSTITUTION HILL, SINGAPORE (DISTRICT 09) BARTLEY RESIDENCES NON-PUBLIC CONDOMINIUM HOUSE BARTLEY HIGHWAY, SINGAPORE (DISTRICT 19) BEACON HEIGHTS PERSONAL CONDOMINIUM CONDO MAR THOMA STREET, SINGAPORE (DISTRCT 12) title searches and authorized requisitions on the property; and
  
  Hongkong Land is a number one property funding, administration and growth group with a serious portfolio in Hong Kong and different property pursuits in Asia. As considered one of Singapore's largest property gamers, Singapore Land (SingLand) is synonymous with premier property developments in both prime and suburban areas. YHS made its first foray into property improvement with Tivoli Gardens, a 59-unit landed estate in District 19. This was adopted by the launch of The Sterling, a freehold condominium in Bukit Timah, and landed projects resembling Tai Keng Villas, Parry Inexperienced, Chuan Villas and Princeton Vale. Its newest growth is JARDIN, an exclusive property nestled alongside Bukit Timah/Dunearn Highway Learn More Can Singapore safely deflate its property market?
  
  GPS Funding Sales operates like an entrepreneur group drawing on wealth of experiences with in depth insight locally and having a global perspective. We are in a position to provide investment methods that tailor-made to the clients profile. Our purchasers starting from Wealth Fund managers, Multinational Companies, Small Medium Enterprise companies, Property Developers and Ultra Networth Individual. En-bloc Sales Department Sustainability, property growth, sustainability initiatives, tripple backside line, measuring sustainability, reporting, metrics and benchmarks When you've loved what you've got read thus far why not sign up for our FREE property alert and online journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

The well-foundedness of all sets is neither provable nor disprovable in PST.

Possible extensions

• Adding the so-called axiom of free construction to PST, any consistent system of set-theoretical axioms will have an inner model in the resulting system.

• It is an unfriendly feature of PST that it cannot handle classes of sets of real numbers or classes of sets of real functions. However, it is not a necessary one. (A3) can be modified various ways to allow for various portions of the usual hierarchy of infinites, with or without supporting the continuum hypothesis. One example is

$\mathrm{\exists }x\mathrm{\exists }y(\mathrm{i}\mathrm{n}\mathrm{f}(x)\wedge \mathrm{i}\mathrm{n}\mathrm{f}(y)\wedge |\mathcal{𝒫}(x)|\ne |\mathcal{𝒫}(y)|\wedge \mathrm{\forall }z(\mathrm{i}\mathrm{n}\mathrm{f}(z)\to (|z|=|x|\vee |z|=|y|)))$

In this version, the cardinality of an infinite set is either ${\mathrm{\aleph }}_0$ or $2^{{\mathrm{\aleph }}_0}$, and the cardinality of a proper class is $2^{2^{{\mathrm{\aleph }}_0}}$ (which means that the generalized continuum hypothesis holds.

External links

• Randall Holmes: Alternative Set Theories
• Randall Holmes: Notes on "Pocket Set Theory"