Random triples
| Subject | Object |
|---|---|
| gptkb:Peirce's_law | propositional calculus |
| gptkb:Euler's_formula_for_polyhedra | geometry |
| gptkb:Fermat's_little_theorem | elementary number theory |
| gptkb:Pascal's_Theorem | Euclidean geometry |
| gptkb:Hilbert's_completeness_theorem | first-order logic |
| gptkb:Kuratowski's_theorem | gptkb:Mathematics |