Vidensløst bevis: Forskelle mellem versioner

For at et vidensløst bevis kan anses for gyldigt skal følgende tre [[sætning (matematik)|betingelser]] være opfyldt:

 

* '''Sikkerhed''': Er sætningen falsk, skal en ærlig modtager ikke acceptere noget som helst bevis for, at den er sand, fra en uærlig afsender – udover med meget en lille sandsynlighed.

* '''Vidensløst''': Er sætningen sand, kan ingen uærlig modtager lære noget som helst herom ud fra beviset af sætningen modtaget fra den ærlige afsender.