Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas.