>>164
違いますよー

推論規則とかの論理系がまずあって、その上で公理系をどのように選ぶかです