There are always more true statements about reality than can be derived in any single formal theory. Reality is not completely formalizable. It is what I call a #proteon. The theories can always be extended, but the extended theories are incomplete as well. #philosophy #incompleteness #formalizability