а ежели гос-ву поможет ненаучный вудизм а частных источников для его финансирования нема?

м ваще, прагма - она на то и прагма шоб утверждать наше бытие (иначе она кривда).
но так тогда истина и есть бытие (а не его описание).

теперча о метаязыке.
а откуда берется метаязык для объектного (базового) формального языка?
можно легко показать, что любой формального языка -
метаязык для нижележащего формального языка,
разворачиваемый модализацией последнего.

Но тогда в истоке (над верхом) - пустой язык!