"Claim" "主張"
"Conclusion" "結論"
"Condition" "条件"
- "Conjecture" "推論"
+ "Conjecture" "予想"
"Corollary" "系"
"Criterion" "基準"
"Definition" "定義"
"Proof" "証明"
"Property" "性質"
"Proposition" "命題"
- "Question" "問題"
- "Remark" "æ\89\80è¦\8b"
+ "Question" "問"
+ "Remark" "注æ\84\8f"
"Scheme" "スキーム"
"Solution" "解"
"Summary" "要約"
"List of Schemes" "Struktruformler"
"List of Tableaux" "Tablåer"
"Listing" "«Listing»"
- "Listings[[List of Listings]]" "Listings"
+ "Listings[[List of Listings]]" "Liste over kildekode"
"Notation" "Notasjon"
"Note" "Merknad"
"Problem" "Problem"