En efecto, estos ejemplos son metateoremas de la teoría de lógica matemática, ya que la referencia es meramente al concepto demostrativo en sí.