It remains to be seen whether this can be realized, for example, in the class of theories currently being examined using lattice techniques.
Ще не з'ясовано, чи можна це реалізовати, наприклад, в класі теорій, які в даний час вивчаються, з використанням методів решітки.