Без заголовка

Уважаемый Анатолий Игоревич, оперирует ли онтика системных описаний концепциями логической выразительности и доказуемости, например, в Витгенштейно-Гёделевском смысле?