"Assumption" "Assumption"
"Axiom" "Aksjomat"
"Case" "Przypadek"
- "Chart" "Chart"
+ "Chart" "Diagram"
"Claim" "Stwierdzenie"
"Conclusion" "Konkluzja"
"Condition" "Warunek"
"Example" "Przykład"
"Exercise" "Ćwiczenie"
"Fact" "Fakt"
- "Graph" "Graph"
+ "Graph" "Graf"
"Lemma" "Lemat"
"List of Algorithms" "Lista algorytmów"
- "List of Charts" "List of Charts"
- "List of Graphs" "List of Graphs"
- "List of Schemes" "List of Schemes"
+ "List of Charts" "Lista diagramów"
+ "List of Graphs" "Lista grafów"
+ "List of Schemes" "Lista schematów"
"List of Tableaux" "List of Tableaux"
"Notation" "Notacja"
"Note" "Notka"
"Proposition" "Propozycja"
"Question" "Pytanie"
"Remark" "Uwaga"
- "Scheme" "Scheme"
+ "Scheme" "Schemat"
"Summary" "Podsumowanie"
"Tableau" "Tableau"
"Theorem" "Twierdzenie"