信念の形式化：構文と意味論

shin/=fungible