>>442
>∀x. P(x)を証明するにはP(x)を証明すればいいって基本だよね…
それ「定数みたいなもの」じゃないじゃん 高卒素人論理パー