<div dir="ltr">The propositionn P=NP? is undecidable in the UTM formulation, and by extension in ZFC.<br><br><br></div>