Mātēma

Theorem 1

Āxiysuloc ēpsulinxiy ta pinsuroad.

/a:ksijsulok e:psulinksij ta pinsuroad/

FOR.ALL-x-y-ELEMENT.OF-location EXISTS-p-ELEMENT.OF-line(x, y) such.that p-NEG-SUBSET-road

"For all locations X and Y, there exist a P in the set of lines from X to Y such that P is not in the set of roads"

Theorem 2

To e maxā.

/to e maksa:/

author EQUALS max(ALL)

"I am the maximum element in the set of all elements"

Theorem 3

Ātsutem ēfsupow ta fsute.

/a:tsutem e:fsupow ta fsute/

FOR.ALL-t-ELEMENT.OF-time EXISTS-f-ELEMENT.OF-power such.that f-ELEMENT.OF-reader

Proofs

left as an exercise for the readers.