1. For the sake of
readability, many brackets have been deleted from the formulas in
this proof. The diligent reader should be able to restore them.
2. This has the same
meaning as Hilbert's ε operator (Hilbert 1928).
Copyright © 2014 by
View this site from another server:
The Stanford Encyclopedia of Philosophy is copyright © 2014 by The Metaphysics Research Lab, Center for the Study of Language and Information (CSLI), Stanford University
Library of Congress Catalog Data: ISSN 1095-5054