Read the following axioms:
Check whether the given system of axioms is consistent or inconsistent.
Given the system of axioms is consistent.
Solution:
Euclid’s axioms:
Hence we can see (i) is an axiom. (same as axiom 1)
Hence we can see (ii) is also an axiom. (same as axiom 2)
(iii) Yes, it is true that the things which are double of the same thing are equal because it is the conclusion of one of Euclid’s axioms.
Euclid’s first axiom states that things which are equal to the same thing are also equal to one another.
Hence, the things which are double of the same thing are equal to one another.
Hence the given statement is true.
Therefore, the given system of axioms is consistent.