# Russell's theory of types

## Primary tabs

Defines:
type theory, ramified type theory, simple type theory, axiom of reducibility, stratification, NF, theory of types, simple theory of types, ramified theory of types
Type of Math Object:
Definition
Major Section:
Reference