こんにちは，19erの東條です． この記事はISer Advent Calendar 2019の23日目の記事として書かれたものです． adventar.orgちなみに，記事の題名にある人名は，エーレンフォイヒトとフレーゼと読みます． はじめに 最近，一階述語論理などの論理に対する構造…