aspects of incompleteness