Μαθηματική απόδειξη: Διαφορά μεταξύ των αναθεωρήσεων

'''Πιθανοτική απόδειξη''' είναι αυτή όπου ένα παράδειγμα δείχνεταιαποδεικνύεται ότι υπάρχει, με σιγουριά,αναμφισβήτητα χρησιμοποιώντας μεθόδους της [[θεωρία πιθανοτήτων|θεωρίας πιθανοτήτων]]. Αυτό δεν είναι το ίδιο με το να δειχθεί ότι μια πρόταση είναι 'πιθανώς' ορθή. Ο τελευταίος συλλογισμός είναι 'επιχείρημα αληθοφάνειας' και δεν αποτελεί απόδειξη.