Triple
T857936
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Frege’s system in "Grundgesetze der Arithmetik" |
E18534
|
entity |
| Predicate | includesAxiom |
P12252
|
FINISHED |
| Object |
Basic Law V
Basic Law V is a central axiom in Frege’s logical system that equates the extensions of concepts with identical truth conditions, and whose inconsistency famously undermined his logicist foundation for arithmetic.
|
E101761
|
NE FINISHED |
Provenance (6 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4938bdd3c8190a954a3c11844d9cf |
elicitation | completed |
| NER | batch_69a4ac4f740881909cb59a6c18a77af3 |
ner | completed |
| NED1 | batch_69a7a3c1ee4481909d5713122e5ad856 |
ned_source_triple | completed |
| NED2 | batch_69a7a63205308190b55b76116c0d5e7c |
ned_description | completed |
| NEDg | batch_69a7a5288338819089638d5c848735dd |
nedg | completed |
| PD | batch_69a4aa834a588190bca4a0eb83fb3eb6 |
pd | completed |
Created at: March 1, 2026, 7:39 p.m.