現実性オペレータを言語に足しても、もとの言語で表現できない内容を表現できるとは限らないという先の話だが、少なくとも量化を含む言語では話が違ってくるらしい。例えば 現実には存在しない対象もまた存在することができた という文は ◇∃x@∀y x≠y と書け…