Comment by dpflan

Interesting. Can you share any more resources or thoughts on the ideas you mention? (Incompleteness of first-order predicate logic and a language based on PGMs)