La completitud de las matemáticas y el teorema de Gödel (via Veritasium) es un concepto que toda persona debería conocer, creo. Parte de formar ciudadanos criticos es justamente reconcer las debilidades de nuestos sistemas formales de conocimiento.