Theory of incompleteness

by