T5310A : %THEOREM%

T5310A is a theorem.
Book Theorem:
FORALL z(A) [p(OA) z EQUIV z = y(A)] IMPLIES IOTA p = y
Theorem about descriptions.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage