Capones, Jenny Rose B.

Math Ed 125
BSED MATH 3C September 1, 2022

LESSON 1.3. ACTIVITY 3

1. Consider the following axiom set.
A1. Every hive is a collection of bees.
A2. Any two distinct hives have one and only one bee in common.
A3. Every bee belongs to two and only two hives.
A4. There are exactly four hives.

a. What are the undefined terms in this axiom set?

Undefined terms: -hives, bees

b. Determine whether it is categorical or not by providing model/s.

Hive 1

Hive 3

Hive 2
bee A

bee B
Hive 4

 By A4, we know there are exactly 4 hives, call them Hive 1, Hive 2, Hive 3 and Hive 4.
 By A2, there is exactly one bee that is in Hives 1 and 2, call it bee A.
 By A3, bee A belongs to only two hives (Hives 1 and 2), so it can’t belong to Hives 3 and 4,
thus a new bee assumed, call it bee B.

Therefore the axiom set is categorical for combination of hives 1 and 2 as well as for the
combination of hives 3 and 4 since they are isomorphic to each other.
2. Consider the following axiom set.
P1. Every herd is a collection of cows.
P2. There exist at least two cows.
P3. For any two cows, there exists one and only one herd containing both cows.
P4. For any herd, there exists a cow not in the herd.
P5. For any herd and any cow not in the herd, there exists one and only one other herd
containing the cow and not containing any cow that is in the given herd.

a. What are the primitive terms in this axiom set?

Primitive terms: -herd, cows

c. Illustrate a model. Is it categorical or not? Justify

Herd 1 Herd 2

cow A cow B cow D

cow C

 By P2, we must have at least two cows, call it cow A and cow B.
 By P3, cow A and cow B must be in herd together, we say Herd 1.
 By P4, there must be a cow that is not in Herd 1, call it cow C.
 By P5, there must be another herd (Herd 2), containing the cow that is not in Herd 1, thus it
must be another cow, call it cow D.

Therefore, the axiom set is not a categorical since herd 1 is not isomorphic or does not
have the same properties to herd 2.