a bizonyíték a logikai rendszer sajátja sóval mit szeretnél a bizonyítással nem logikai rendszerben?? :-)))))))))))))