These are not, however, the only infinitary logics that have been formulated or studied.
しかしながら、これらは形式化されているまたは研究対象となっている唯一の無限論理ではない。