type-theory public under formal-system 10, mathematical-logic 12 List Picture As a command Nothing is filed under type-theory.