Theodoros, Dounas, "Some notes on the incompleteness theorem and shape grammars.", , 2013