167(1): デフォルトの名無しさん [sage] 2024/03/31(日) 18:06:40.04 ID:954vZkOe(3/3) AAS ただし>>160 は支持するぞ 公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい