Describir: El teorema de Gödel a partir del teorema de Rice