ネセシテーションを持たない論理
あるらしいのだが,私は一例しか知らない.
真の算術の証明可能性論理GLS