Fork me on GitHub
Math for the people, by the people.

User login

consistent

Defines: 
inconsistent
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03B99 no label found

Comments

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.

Subscribe to Comments for "consistent"