9 udowadnialny wektorów, clipartów, ikon, tła i projekty graficzne — gotowe do bezpłatnego pobrania od kreatywnych autorów na Dreamstime.

Rysunek liniowy twierdzenia o niezupełności Gödla. Zamknięty sześciokąt zawiera system formalny: dwa aksjomaty wyprowadzają twierdzenia za pomocą strzałek dowodowych. Jedno stwierdzenie znajduje się tuż poza ścianą, niosąc miniaturową wersję systemu, ponieważ mówi o własnej dowodliwości.
Rysunek liniowy twierdzenia o niezupełności Gödla. Zamknięty sześciokąt zawiera system formalny: dwa aksjomaty wyprowadzają twierdzenia za pomocą strzałek dowodowych. Jedno stwierdzenie znajduje się tuż poza ścianą, niosąc miniaturową wersję systemu, ponieważ mówi o własnej dowodliwości.