페아노 공리계 뿐만아니라

모든 공리를 증명하고싶은 강한 충동에 휩싸임

공리를 증명하면 그 증명의 재료로 쓰인 공리가 또 등장할테고

그 공리를 또 증명하고

끝없이 근원을 파고들고싶다

- dc official App