Frege referred to the "completeness" of this system, but was unable to prove this.
프레게는 이 체계의 '완전성'에 언급하고 있지만, 그것을 증명할 수 없었다.