"Assumption" "Feltevés"
"Axiom" "Axióma"
"Case" "Eset"
- "Chart" "Grafikon"
- "Claim" "Követelés"
+ "Chart" "Diagram"
+ "Claim" "Igény"
"Conclusion" "Következtetés"
"Condition" "Feltétel"
"Conjecture" "Feltevés"
"Criterion" "Kritérium"
"Definition" "Definíció"
"Example" "Példa"
- "Exercise" "Feladat"
+ "Exercise" "Gyakorlat"
"Fact" "Tény"
- "Graph" "Grafika"
+ "Graph" "Grafikon"
"Lemma" "Segédtétel"
"List of Algorithms" "Algoritmusok listája"
- "List of Charts" "Grafikonok listája"
- "List of Graphs" "Ábrák listája"
+ "List of Charts" "Diagramok listája"
+ "List of Graphs" "Grafikonok listája"
"List of Schemes" "Sémák listája"
"List of Tableaux" "Csoportképek listája"
"Notation" "Jelölés"
"Note" "Megjegyzés"
"Problem" "Probléma"
"Proof" "Bizonyítás"
- "Proposition" "Javaslat"
+ "Proposition" "Állítás"
"Question" "Kérdés"
"Remark" "Észrevétel"
"Scheme" "Séma"