>>687
誤字に突っ込むなよ（ｗ

あと 677 の一回述語論理は一階述語論理だな。知らずに 666 が検索して
ハマるといかんので、補足しておく。