ヤハウェの存在を公理とする数学体系を構築できますか?