искусственные конструкты, призванные пофиксить то, что изначально обладает изъяном. Почему бы не сделать правила, лишенные этого изъяна?

… Гёдель в 37 году доказал теорему, что любая аксиоматическая система, являющаяся метаязыком (то есть, в частности, любая достаточно сложная, чтобы включать в себя хотя бы арифметику действительных чисел) содержит либо недоказуемое истинное утверждение, либо неопровержимое ложное.