statusInConstructiveMathematics
1
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:Axiom_of_Choice_(AC) | not accepted |