I read that as a reference to the existence of undecidable problems. @gabriel@col.social @MartinEscardo@mathstodon.xyz