%nitst% bevisbar vektorer, klipart, ikoner, bakgrunder och grafisk design - redo för royaltyfri nedladdning från Dreamstime's kreativa medarbetare.

En linjeteckning av Gödels ofullständighetssats. En sluten hexagon innehåller ett formellt system: två axiom härleder teorem genom bevispilar. Ett påstående ligger precis utanför väggen och bär på en miniatyr av systemet eftersom det talar om sin egen bevisbarhet.
En linjeteckning av Gödels ofullständighetssats. En sluten hexagon innehåller ett formellt system: två axiom härleder teorem genom bevispilar. Ett påstående ligger precis utanför väggen och bär på en miniatyr av systemet eftersom det talar om sin egen bevisbarhet.