Random triples
| Subject | Object |
|---|---|
| gptkb:Reverse_Mathematics | many classical theorems are equivalent to subsystems |
| gptkb:Reverse_Mathematics | basis for understanding logical strength of theorems |
| Subject | Object |
|---|---|
| gptkb:Reverse_Mathematics | many classical theorems are equivalent to subsystems |
| gptkb:Reverse_Mathematics | basis for understanding logical strength of theorems |