2015-03-12 11:45:13+00:00 In reply to @irks5 @irks5 I suppose the link with Gödel is to do with the completeness of formal systems...