ð There exists exactly three distinct points in the geometry.
ð Any two distinct points are on exactly one line.
ð Not all points are on the same line.
ð Any two distinct lines are on at least one point
3점 기하학 정의는 이렇고
여기 모든 명제가 결정되어 있다는게 무슨뜻이고 어떻게 증명함?
https://math.stackexchange.com/questions/748242/incidence-geometry-proof
categorical axiomatic system이란걸 보이란 건가? 결정적이다라는거 원문이 뭐임?