Frege referred to the "completeness" of this system, but was unable to prove this.
フレーゲはこの体系の「完全性」に言及しているが、それを証明することはできなかった。