＞＞148演繹定理をＮＫでどうやって解釈するのかがわかりません。
メタな定理なのでこんがらがります。
僕が示したのはＡがＨｑで証明可能⇔ＡがＮＫで証明可能だけです。