Axiomatic Method Logical Cycle

• A procedure to prove results (theorems). • A logical system is based upon a hierarchy of

Results often initially obtained by experimentation, statements.
observation, trial and error or “intuitive insight.”
• Our statements consist of terms.
• Note: We use standard 2-value logic, that is a
• The terms are based upon definitions.
statement is either true or false to prove our results.
• Definitions utilize new terms.
• The new terms are given definitions.
• These definitions use more new terms (or they are
based upon previous terms).
• Thus, we either create an infinite chain of term-def-
term-def- or we create a logical cycle.

Starting Place Fe-Fo Example

• In order to provide a sound base for our logical • Undefined terms: Fe’s, Fo’s, and the relation
system, we must provide a starting place. “belongs to.”
Axiom 1: There exists exactly 3 distinct Fe’s in the
• Undefined terms: used to avoid a logical cycle and
system.
the infinite digression.
Axiom 2: Any two distinct Fe’s belong to exactly
• Axioms: initial statements which are accepted one Fo.
without justification. Axiom 3: Not all Fe’s belong to the same Fo.
Axiom 4: Any two distinct Fo’s contain at least one
Fe that belongs to both.

Fe-Fo Results Axiomatic Applications

• Theorem 1: Two distinct Fo’s contain exactly • Interpretation: provide a “real” meaning to the
one Fe. axiomatic system.
• Theorem 2: There are exactly 3 Fo’s. • Model: an interpretation that satisfies all the axioms
of the system.
• Theorem 3: Each Fo has exactly two Fe’s that
belong to it. • Fe-Fo Model 1 (Graph)
Fe: node (vertex) Fo: edge
Belongs: adjacent to

1
 Fe-Fo Model 1 (Graph) Axiomatic Applications
• Axiom 1: There exists exactly 3 distinct nodes. • Interpretation: provide a “real” meaning to the
axiomatic system.
• Axiom 2: Any two distinct nodes are contained in
exactly one edge. • Model: an interpretation that satisfies all the axioms
of the system.
• Axiom 3: Not all nodes belong to the same edge.
• Fe-Fo Model 1 (Graph)
• Axiom 4: Any two distinct edges contain at least one
Fe: nodes (vertices) Fo: edges
node that belongs to both.
A Belongs: adjacent to

a b • Fe-Fo Model 2 (Committee)

Fe: person Fo: committees
Belongs: a member of
C B
c

Fe-Fo Model 2 (Committee)

Fun Food
• Axiom 1: There exists exactly 3 distinct people.
• Axiom 2: Any two distinct people are members of
Jan
exactly one committee.
• Axiom 3: Not all people are members of the same
committee.
Joe Jamie
• Axiom 4: Any two distinct committees contain at
least one person that is a member of both
committees.

Finance

Axiomatic Applications Fe-Fo “Model” 3 (Bookshelf)

• Fe-Fo Model 1 (Graph) • Axiom 1: There exists exactly 3 distinct books.
Fe: node (vertex) Fo: edge
• Axiom 2: Any two distinct books are members of
Belongs: adjacent to
exactly one shelf.
• Fe-Fo Model 2 (Committee)
• Axiom 3: Not all books are on of the same shelf.
Fe: person Fo: committee
Belongs: a member of • Axiom 4: Any two distinct shelves there is at least
one book that is on both shelves.
• Fe-Fo Model 3 (Bookshelf)
Fe: book Fo: shelf • This interpretation is NOT a model.
Belongs: is on

2
 Consistent Axiom Sets Consistent Axiom Sets
• An axiom set is said to be consistent if it is • Example:
impossible to deduce from it a theorem that Undefined terms: Hi, Lo and belongs to.
contradicts an axiom or another deduced theorem. Axiom 1: There are exactly 4 Hi’s.
Axiom 2: Every Hi belongs to exactly two Lo’s.
• An axiom set is said to have absolute consistency if
Axiom 3: Any two Hi’s belong to at most one Lo.
there exists a real world model satisfying all of the
Axiom 4: There is a Lo containing any two Hi’s.
axioms.
Axiom5: All Lo’s contain exactly two Hi’s.
• An axiom set is said to be relatively consistent if we
• This is an inconsistent system.
can produce a model for the axiom set based upon
another axiom set which we are willing to assume is
consistent.

Absolute Consistent Axiom Set Relative Consistency

• Example: • Example: (Real Numbers)
The Fe-Fo Axiom Set exhibits absolute consistency We can not produce a concrete, real-world model
because we produced a real world model for the (we only have a finite number of objects to
system (i.e. actually two, the committee model and manipulate). If we then show that the real numbers
the graph model). are a model for Axiom Set A then we say Axiom Set
A is relatively consistent
• Note: It is true that we also produced a “non-model”
(the books-shelves model) but this does not imply the
system is not consistent.

Real Number Axioms Real Number Axioms - Field Axioms

• I. Field Axioms (additive axioms, multiplicative • Additive Axioms:
axioms, distributive laws) x+y∈R x+y=y+x
(x + y) + z = x + (y + z) x+0=0+x
• II. Order Axioms (trichotomy, transitivity, additive
x + (-x) = (-x) + x = 0
compatibility, multiplicative compatibility)
• Multiplicative Axioms:
• III. Least Upper Bound Axioms
xy ∈ R xy = yx
(xy)z = x(yz) x1 = 1x = x
x(x-1) = (x-1)x = 1 (if x ≠ 0)
• Distributive Axioms:
x(y + z) = xy + xz (y + z)x = (yx + zx)

3
 Real Number Axioms - Order Axioms Real Number Axioms - Least Upper Bound
• Trichotomy: • Definitions:
Either x = y, x > y or x < y ∀ x,y ∈ R . A number M is said to be an upper bound for a set
• Transitivity: X, X ⊆ R , if x < M ∀ x ∈ X.
For x,y,z ∈ R , if x > y and y > z then x > z. A number M is said to be a least upper bound for a
set X, denoted lub(X), if it is an upper bound of X
• Additive Compatibility: and M < N for all other upper bounds of X.
For x,y,z ∈ R, if x > y then x + z > y + z.
• Least Upper Bound Axiom: If a set X has an upper
• Multiplicative Compatibility: bound, then it has a least upper bound.
For x,y,z ∈ R, if x > y and z > 0 then
xz > y z. • Note: This is also called the Dedekind
Completeness Axiom.

Axiom Independence Fe-Fo Example

• Definitions: • Independence of Axiom 1
An axiom is said to be independent if that axiom Axiom 1: There exists exactly 3 distinct Fe’s in the
can not be deduced as a theorem based solely on the system.
other axioms. Axiom 2: Any two distinct Fe’s belong to exactly
If all axioms are independent then the axiom set is one Fo.
independent. Axiom 3: Not all Fe’s belong to the same Fo.
Axiom 4: Any two distinct Fo’s contain at least one
• Note: If you can produce a model whereby all the
Fe that belongs to both.
axioms hold except one, then that lone axiom is
independent of the others. a b c
Fe: a,b,c,d
Fo: line segments
d