Random triples
Subject | Object |
---|---|
gptkb:second-order_arithmetic | sets of natural numbers |
gptkb:second-order_arithmetic | individual natural numbers |
gptkb:Monadic_Second-Order_Logic | individual elements |
gptkb:Monadic_Second-Order_Logic | sets of elements |