Class: 'Pasch axiom'

http://cll.niimm.ksu.ru/ontologies/mathematics#E287

Annotations (3)

comment "http://en.wikipedia.org/wiki/Pasch_axiom" (en)
label "Pasch axiom" (en)
label "аксиома Паша" (ru)

Superclasses (1)

'Hilbert system axioms'

Usage (1)

Class: 'Pasch axiom'