A formal presentation of how to develop Type System or alternatives to Set Theory. Concepts Type Type Construction Types Ramified Type Theory Zermello-Frankel Set Theory Intuitionistic Type Theory Typed Lambda Calculus