9 beviselig vektorer, clipart, ikoner, baggrunde og grafiske designs – klar til Royalty Free-download fra Dreamstimes kreative bidragydere.

En linjetegning af Gödels ufuldstændighedssætning. En lukket hexagon indeholder et formelt system: to aksiomer udleder teoremer gennem bevispile. En påstand ligger lige uden for væggen og bærer en miniature af systemet, fordi den taler om sin egen bevisbarhed.
En linjetegning af Gödels ufuldstændighedssætning. En lukket hexagon indeholder et formelt system: to aksiomer udleder teoremer gennem bevispile. En påstand ligger lige uden for væggen og bærer en miniature af systemet, fordi den taler om sin egen bevisbarhed.