@jwildeboer @etchedpixels
Wouldn't that follow from Goedel's incomoleteness theotem?