0, What can we prove (Hvad kan vi bevise)?