This theorem is new to me. I just read the summary of it but I think it will take time to really digest it. What are your thoughts on how it relates to the incompleteness theory?