In mathematics, entities are known that have undecidable or non-Turing-computable properties. So, these entities have more properties (there are more true statements about them) than can be derived in any specific formal theory. The theories can always be extended to cover more cases, but the extended theories are incomplete again. Such mathematical entities are #proteons.
If proteons occur in mathematics, there is no a-priori reason why physical reality shouldn't be #protean too. #philosophy