Co to jest dowód?
Co to znaczy udowodnić twierdzenie matematycznej Logicy dawno już odpowiedzieli na to pytanie, podając definicję dowodu formalnego jako ciągu zdań kończącego się dowodzonym twierdzeniem i o tej własności, że następne zdanie ciągu powstaje z poprzedniego w myśl prostych, ustalonych reguł.
". Zdania matematyczne bywają podawane za wzór niewzruszonej i absolutnej prawdy. Pytanie, jakie zdania? Niewątpliwie pewniki, czyli aksjomaty ("przez dwa punkty przechodzi dokładnie jedna prosta") oraz twierdzenia, choćby tak łatwe, jak to zacytowane na początku.