Mikor bizonyítható valami?

Hogy valami bizonyítható legyen, ahhoz cáfolhatónak kell lennie.

Ha pedig sikeresen megcáfolják, akkor buktad a bizonyítást.

ezen kívül olyan "apróságok" is szükségesek, mint:

- reprodukálhatósága a jelenségnek

- előrejelzőképesség

Ha valamelyik hibádzik, akkor bajban vagy.

Akkor szokás azt mondani, hogy valami bizonyított, zárt ok-okozati kapcsolatot lehet kimutatni az illető axioma rendszer axiomáival. (vagyis egy tétel bizonyításakor szükséges definiálni, hogy milyen axioma rendszerben kívánjuk a tétel visszavezethetőségét vizsgálni. Ha sikerül, akkor az illető axiomarendszerben a tételt bizonyítottnak mondjuk.

Erről jut eszembe egy érdekesség:

Véges számú axiomával leírt axiomarendszerben mindíg lesz olyan tétel, amiről nem lehet eldönteni, igaz vagy hamis. Ez a gondolat a kedvencem.