Vannak igazságok, melyeket nem lehet bebizonyítani, melyek azonban bebizonyulnak.