Church's Simple Theory of Types permits intensional properties via propositional functions; the exte...
This proposition has not been edited since the history system was added.