{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:20ad21a3-f998-4cb6-8041-7cd13c0d1119",
  "labels": {
    "zh-CN": "康托尔对角论证",
    "en": "Cantor's diagonal argument"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "0d630dbc7aa5911427fc441a98f4d67fa7f62833367172992dec191c21bf844d",
  "occurrences": [
    {
      "concept_id": "urn:uuid:20ad21a3-f998-4cb6-8041-7cd13c0d1119",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/01-sets-and-logic",
      "anchor": "first-9bcb5544386f7b94e549-zh",
      "chapter": "1",
      "section": "1.1",
      "offset": 1298,
      "range": [
        4861,
        5120
      ],
      "source_revision": "a5e931b602e555c1e0a6e2517175988061bcad277547cad40cab1e1bfd28192c",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "康托尔对角论证(Cantor's diagonal argument)",
      "context": {
        "range": [
          4175,
          5127
        ],
        "quote": "对象本身可以是集合。有些集合论体系要求所有对象都是集合；在物理讨论中，也常允许温度、速度等“原子对象”。列举法适用于<u class=\"concept-term\" data-concept-identity=\"urn:uuid:70a8b5c8-179c-4828-a2b2-c579b0ae5301\" data-concept-route=\"/concept-identities#concept-70a8b5c8-179c-4828-a2b2-c579b0ae5301\" id=\"first-92b93ff7172cec8cebc5-zh\">有限集(finite set)</u>或<u class=\"concept-term\" data-concept-identity=\"urn:uuid:438baf25-c35b-4694-a032-72cff4c8c469\" data-concept-route=\"/concept-identities#concept-438baf25-c35b-4694-a032-72cff4c8c469\" id=\"first-0975a42b100b06860b9d-zh\">可数无限集(countably infinite set)</u>，但无法列出全部实数；<a href=\"05-infinite-sets#section-1-5\" class=\"cross-reference\" id=\"xref-01-sets-and-logic-1\" data-reference=\"section-1-5\">第 1.5 节</a>的<u class=\"concept-term\" data-concept-identity=\"urn:uuid:20ad21a3-f998-4cb6-8041-7cd13c0d1119\" data-concept-route=\"/concept-identities#concept-20ad21a3-f998-4cb6-8041-7cd13c0d1119\" id=\"first-9bcb5544386f7b94e549-zh\">康托尔对角论证(Cantor&#x27;s diagonal argument)</u>会说明这一点。",
        "quote_sha256": "a489a46c3c5198301e98ffb48bc45f74a8dee3e58bc34fac553c5f47c9a512a5",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/01-sets-and-logic",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-279ee31edc077cd9b79e5b07"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/01-sets-and-logic",
      "lang": "zh-CN",
      "section": "1.1",
      "signal": "term-mark",
      "label": "康托尔对角论证",
      "english": "Cantor's diagonal argument",
      "offset": 725
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"05-infinite-sets#section-1-5\"",
      "href": "05-infinite-sets#section-1-5",
      "range": [
        4730,
        4765
      ],
      "relation": "references",
      "target_route": "zh/chapter-01/05-infinite-sets",
      "target_anchor": "section-1-5",
      "resolved": true,
      "reason": null,
      "source_revision": "a5e931b602e555c1e0a6e2517175988061bcad277547cad40cab1e1bfd28192c",
      "source_route": "zh/chapter-01/01-sets-and-logic",
      "occurrence_id": "occ-279ee31edc077cd9b79e5b07"
    }
  ],
  "reading_order": [
    "occ-279ee31edc077cd9b79e5b07"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "df7c59364bf10f53ec7cd0602b4e396a936e27e352e9a7d223b18cd6bbdbfe44",
  "optional_enrichments": []
}