4 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |