Primitive Recursive Functions

                                                       To enlarge image, click on it.

Cooking Up Well Formed Formulae (wffs)

                                        To enlarge image, click on it

Real Numbers Are Uncountable

                                        To enlarge image, click on it.

Finding Space at the Hilbert Hotel

                                    To enlarge image, click on it.


The Hilbert Hotel is hotel with a room numbered with EVERY natural number from one up.  It corresponds to Cantor's first transfinite ordinal (lower-case omega.)  Even if every room is occupied, you can fit in an extra guest.  All you have to do is to get all the guests already in a room to move to the room with the next higher room number to their current room.

Cycle of Set Membership

To enlarge image, click on it. To return to blog, click back arrow.

Modal Model

To enlarge image, click on it. To return to blog, click back back arrow.

Female Intuitionism

To enlarge image, click on it. To return to blog, click back arrow.

Liberal Finitism

To enlarge image, click on it. To return to blog, click back arrow.

Point Set

To enlarge image, click on it. To return to blog, click back arrow.

The Sleep of Set Theory Produces Non-Well-Founded Sets (Apologies to Goya)

To enlarge image, click on it. To return to blog. Click on back arrow.

Mostowski-Shepherdson Mapping

To enlarge image, click on it. To return to blog, click back arrow.

Set Theory and Labor

To enlarge image, click on it. To return to blog, click back arrow

Slowly Well-Ordered Under Inclusion

To enlarge image, click on it. To return to blog, click back arrow.

Well-Ordered Non-Denumerable Sets

To enlarge image, click on it. To return to blog, click back arrow.

Limit Cardinal

To enlarge image, click on it. To return to blog, click back arrow.

The Empty Set Can Be Found All Over The Zermelo Universe

To enlarge image, click on it. To return to blog, click back arrow.

To enlarge image, click on it. To return to blog, click back arrow.

A reflects B with respect to a function

To enlarge image, click on it. To return to blog, click back arrow.

Swelled Sets

To enlarge image, click on it. To return to blog, click on back arrow.

Limit Ordinal

To enlarge image, click on it. To return to blog, click back arrow.

Nest of Sets

To enlarge image, click on it. To return to blog, click back arrow.