[エルブラン・セマンティクス(Herbrand Semantics)理解メモ - ぱと隊長日誌](https://taityo-diary.hatenablog.jp/entry/2018/03/31/230537)