Доказать или опровергнуть предикаты системы или даже вывести какое-либо непротиворечивое суждение невозможно находясь в рамках представленной системы. Это некоторая интерпретация, революционной теоремы Геделя о неполноте (их правда две). Язык и отдельные слова - это элементы Познания, а компьютер, тем паче. Поэтому их использовать нельзя.
Ответ: Непротиворечиво доказать, а равно как и опровергнуть существование Познания невозможно средствами самого Познания. Известно, что наиболее одаренные агностики, бьют в Там-Тамы и пританцовывают, завывая.