Get Math Help

GET TUTORING NEAR ME!

(800) 434-2582

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Home / Get Math Help

    Categorical Axiomatic System

    Definition

    An axiomatic system is said to be categorical if there is only one essentially distinct representation for it. In particular, the names and types of objects within the system may vary while still being considered "the same, " e.g., geometries and their plane duals. An example of an axiomatic system which isn't categorical is a geometry described by the following four axioms (Smart): 1. There exist five points. 2. Each line is a subset of those five points. 3. There exist two lines. 4. Each line contains at least two points.

    Related terms

    Back to List | POWERED BY THE WOLFRAM LANGUAGE