Důkaz pravdy a nejistá paměť