弗雷格的量词逻辑思想出自其著作