>>477
「3 は素数である」
「x = 3 をみたすような実数 x が存在する」 etc.