|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Consistent definitions?''
by Evandar on 2002-09-04 10:20:22 |
|
| This definition actually disagrees with the definition in the First Order Logics entry, which defines a set of formulae to be consistent if they don't prove a contradiction.
This is one of the many examples of the lack of standardized terminology within logic. Maybe a note should be added to this entry to the effect that there is more than one definition. |
| | [ reply | up ] |
|
|
|
|
|
|
