Does P contain languages whose existence is independent of PA or ZFC? (TCS community wiki)
Posted by John Sidles, at cstheory.stackexchange.com,
Answer: not known. The questions asked are natural, open, and apparently difficult; the question now is a community wiki. …