બીજા શબ્દોમાં કહીએ તો, આ સિસ્ટમો સાબિત કરી શકાતી નથી કરી શકો છો અથવા તેના પોતાના પુરાવાનો ઉપયોગ કરીને રદ.