Undiscovered limitative results

Beyond currently-known limitative results (incompleteness, undecidability, Rice's theorem, Chaitin's incompleteness, etc.), further results of the same genre remain to be discovered. This node is a generative placeholder: its concrete…