論理記号の一覧
斜線の引かれた存在量化子は、¬∃ と等価である。すなわち存在の否定を意味する。
左辺が右辺のモデルであることを意味する2項演算子。例えば理論 T について「M ⊧ T」は、M が T のモデルであることを意味する。