ヒルベルト論理体系を超えた関数を作ろうぜ