ако се замислиш за нищо няма ИСТИНСКО доказателство.
относно някой недоказани твърдения съм обаче по-уверен отколкото за някои доказани. още си спомням как в час по математика някой пробута грешно доказателство и никой не се усети, чак на другия ден един посочи грешката. иначе механизма на формалното доказателство е хубав, ама има две слаби места:
1.трябват му аксиоми които са емпирични и може да не са верни
2.трябват му хора, които да го прилагат и които също могат да сгрешат.
както виждаш във всички случаи се стига до фактора човек, а както е казано "компютрите са ненадеждни, но хората са по-ненадеждни".
така че да те питам доказан в каква аксиоматика? какви са фундаментите за които ще го доказваш. хр каза че закона за запазване на енергията се доказва, но се изтърва че това става при допускане че е валидна метриката на минковски. аз лично съм по-склонен да приема закона за запазване на енергията като аксиома - по ми е очевиден от метриката на 4мерно пространство, а метриката да приема като теорема.