論理記号の一覧
以下では、発展的または稀に用いられる論理記号について述べる。
「証明不可能」を意味する。例えば理論 T と論理式 φ について「T ⊬ φ」は、T から φ が証明不可能である、すなわち φ は T の定理ではないことを意味する。