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.

Posted on by Leave a comment
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

[responsivevoice_button voice="US English Male"]

Leave a comment

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


5 × seven =

Leave a Reply