"Provability (Predicate)"を「可証性述語」と訳しているのに"Provability Logic"を「証明可能性論理」と訳しているの普通に一貫性が無くて良くない気がしてきた
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。