>>287
数学でならばと言ったら、述語論理のこの意味しかあり得ません

あなたは何だと思ってたんですか?
この意味ではないと思っていたような雰囲気ですね