Omów znaczenie twierdzeń Kurta Gödla o niezupełności dla podstaw matematyki. Czy implikują one, że prawda matematyczna nie może być w pełni uchwycona przez żaden system formalny? Odnies się do paradygmu Hilberta.