Triple
T857945
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Frege’s system in "Grundgesetze der Arithmetik" |
E18534
|
entity |
| Predicate | formalizes |
P4750
|
FINISHED |
| Object |
Hume’s Principle (derivable, not postulated)
Hume’s Principle (derivable, not postulated) is the numerical equivalence principle in Frege’s logical system that is obtained as a theorem rather than assumed as a foundational axiom.
|
E101762
|
NE FINISHED |
Provenance (5 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 |
Created at: March 1, 2026, 7:39 p.m.