Comment by horseAMcharlie

To paraphrase a joke from model theory, allowing facts to make claims about other facts up to recursion is a fine way to prevent any long-term success in natural language processing. If you drop absoluteness, the consequences will never be the same.