유클리드크래프트(Euclid Craft)

공리와 공준을 적절히 조합하여 새로운 명제(정리)를 발견한다. 명제간의 위계를 이해한다.