0166132人目の素数さん垢版 | 大砲2020/08/06(木) 16:21:51.36ID:mEXA25CV >>164 違いますよー 推論規則とかの論理系がまずあって、その上で公理系をどのように選ぶかです