{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidas6dsvl3jgz55w23lw5lkomofw4k2qv4zqaq4qyjfnozc447opi",
    "uri": "at://did:plc:k7h5fn3kdhjpj37pc6yhno2o/app.bsky.feed.post/3mms6fphhkp72"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreienhte3svzbyqftrqk4ix6pza6vnksotzez7qffoe6xuls67ule44"
    },
    "mimeType": "image/jpeg",
    "size": 112526
  },
  "path": "/article/how-the-mathematician-goedel-proved-that-not-everything-can-be-proven/",
  "publishedAt": "2026-05-26T18:00:00.000Z",
  "site": "https://www.scientificamerican.com",
  "textContent": "A statement can be true or false. But as Kurt Gödel demonstrated, there will always be mathematical assumptions that can neither be proven nor disproven",
  "title": "How the mathematician Gödel proved that not everything can be proven"
}