数学基礎論・数理論理学 その10
■ このスレッドは過去ログ倉庫に格納されています
0077１３２人目の素数さん
2011/10/30(日) 21:03:46.06論理式Aが証明可能であるということの定義は
Aに至る論理式の有限列が存在して、その列の各項が公理か、以前の論理式から導かれること
というのは理解していますか？
もし、理解していればそれと同じような感じで
有限記号列Tが項である⇔
Tに至る有限記号列の有限列が存在して、……
と表せるのは理解できますか？
■ このスレッドは過去ログ倉庫に格納されています