기하학적 증명에서 공리의 핵심적 역할: 논리적 프레임워크의 기초