# Transcribed Image Text: Undefined terms: zork, gork, snork Axioms: 1. For every pair of zorks z1 and z2 , there is

Excerpt
system in wch a zork is a point, a gork is a line, and “snorks” means “lies on.” Use as few zorks as possible. 3. In your model, are there three gorks that are snorked by the same zork? Must ts always be the case?

Transcribed Image Text: Undefined terms:
zork, gork, snork
Axioms:
1. For every pair of zorks z1 and z2 , there is exactly
one gork g such that z1 snorks g and z2 snorks g.
2. For every pair of gorks g1 and g2, there is a zork z
that snorks both g1 and g2.
3. There are at least four distinct zorks, no three of
wch snork the same gork.
Activities:
1. Fill in the blanks: Let g1 and g2 be a given pair of
gorks. By Axiom ____, some zork z snorks both of
—–
them. Suppose another zork z’ also snorks both
81 and g2. Then
and _–_ are each snorked by
–, contradicting Axiom
there can’t be such a zork z’, and therefore there is
both
and
—– So
only one zork that snorks both gorks.
2. Draw a model for ts system in wch a zork is a
point, a gork is a line, and “snorks” means “lies on.”
Use as few zorks as possible.
3. In your model, are there three gorks that are
snorked by the same zork? Must ts always be
the case?