存在の否定を意味する。(therefore)」を意味する。(because)」を意味する。models左辺が右辺のモデルであることを意味する2項演算子。モデルであることを意味する。true左辺が右辺の論理的帰結であることを意味する2項演算子。定理であることを意味する。「論理的に正しい」ことを意味する前置演算子。prove「証明不可能」を意味する。定理ではないことを意味する。operatorアドホックな演算子について用いられる。呼ばれ、ゲーデル数を意味する。2011年5月19日。978-4000055369。978-4130640978。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。