From: G&P
Message: 62341
Date: 2009-01-02
>I … have never heard of any system in
which
>definitions can't
be described as "true" or "false".
(a) A definition can never be “true” or “false”. Only statements can be “true” or “false”, when they are compared with the definitions.
(b) Only simple systems have statements which are either “true” or “false”. Any complex system, such as mathematics, must have statements whose truth value cannot be determined. This is Goeddel’s theorem, important for modern mathematics and modern philosophy (especially philosophy of religion).
Peter