공리적 검증 방법: 논리적 추론과 반례 검증