4점기하 공리계의 무모순성과 독립성을 판별하라ㅋㅋ