Теорема компактности — Други језици