＞＞267わかりました。
最後に一つだけいいですか？
返答はイエスorノーでよろしいですので。説明は一切いりません。
結局のところヒルベルト流の形式的体系における演繹定理は閉論理式という条件が必要ですか？