type-theory public under formal-system 10, mathematical-logic 12 List Picture As a command %3 n0 type-theory n1 formal-system n1->n0 n2 mathematical-logic n2->n0