Random triples
| Subject | Object |
|---|---|
| gptkb:Second_incompleteness_theorem | gptkb:Arithmetization_of_syntax |
| gptkb:First_incompleteness_theorem | gptkb:Arithmetization_of_syntax |
| gptkb:First_incompleteness_theorem | Diagonalization |
| gptkb:Cantor's_theorem | diagonalization |
| gptkb:First_incompleteness_theorem | Self-reference |