Triple
T4492883
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | completeness theorem for first-order logic |
E100620
|
entity |
| Predicate | implies |
P1661
|
FINISHED |
| Object |
Löwenheim–Skolem theorem (via additional arguments)
The Löwenheim–Skolem theorem is a fundamental result in model theory stating that any first-order theory with an infinite model has models of all infinite cardinalities, leading to the so-called Skolem paradox about the existence of countable models of set theory.
|
E446857
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43cdf15081909a4fa2585ff63b3e |
elicitation | completed |
| NER | batch_69bd5570ba0881908f5fb4f8d0730e64 |
ner | completed |
| NED1 | batch_69bd67b40fd4819098636b6f29304312 |
ned_source_triple | completed |
| NED2 | batch_69bd69bcf10c8190bd6ceb6bc604b3f5 |
ned_description | completed |
| NEDg | batch_69bd688e84fc8190a8900be40e3cf694 |
nedg | completed |
Created at: March 20, 2026, 12:59 p.m.