From the Empty Set to Type Theory. Stayed very strict to minimals. Added only what connected to what is already there. Eliminated anything that could be. Most stayed tight with each other, but Type Theory + Ontology and Type Theory + Mereology offer huge expansions to other pages.

From the Empty Set to Type Theory.
Stayed very strict to minimals. Added only what connected to what is already there. Eliminated anything that could be. Most stayed tight with each other, but Type Theory + Ontology and Type Theory + Mereology offer huge expansions to other pages.Empty_set_to_Type_theory

Attachments

Leave a comment

Your email address will not be published. Required fields are marked *


5 × one =

Leave a Reply