Thursday, November 08, 2007

5.503 It is clear that it is easily expressed how propositions can be constructed with this operation and how propositions are not to be constructed with it, so this must also be capable of exact expression.

A bit literal as a translation, but not too bad?

No comments: