diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex')
-rw-r--r-- | Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex | 1495 |
1 files changed, 1495 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex b/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex new file mode 100644 index 00000000000..9df9c0e274d --- /dev/null +++ b/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex @@ -0,0 +1,1495 @@ +%============================= +% --- Preset Names --- +%============================= + +\NameTheorem { application } + { + , heading = { + , english = Application + , french = Application + , ngerman = Anwendung + , italian = Applicazione + , portuguese = Aplicação + , brazilian = Aplicação + , spanish = Aplicación + , schinese = 应用 + , tchinese = 應用 + , japanese = 応用 + , russian = Применение + } + , crefname = { + , english = {application}{applications} + , french = [l']{application}[les]{applications} + , ngerman = { {Anwendung}{Anwendungen} + , Nominativ = [die]{Anwendung}[die]{Anwendungen} + , Genitiv = [der]{Anwendung}[der]{Anwendungen} + , Dativ = [der]{Anwendung}[den]{Anwendungen} + , Akkusativ = [die]{Anwendung}[die]{Anwendungen} + } + , italian = [l']{applicazione}[le]{applicazioni} + , portuguese = [a]{aplicação}[as]{aplicações} + , brazilian = [a]{aplicação}[as]{aplicações} + , spanish = [la]{aplicación}[las]{aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {применение}{приложения} + } + , Crefname = { + , english = {Application}{Applications} + , french = [L']{application}[Les]{applications} + , ngerman = { {Anwendung}{Anwendungen} + , Nominativ = [Die]{Anwendung}[Die]{Anwendungen} + , Genitiv = [Der]{Anwendung}[Der]{Anwendungen} + , Dativ = [Der]{Anwendung}[Den]{Anwendungen} + , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen} + } + , italian = [L']{applicazione}[Le]{applicazioni} + , portuguese = [A]{aplicação}[As]{aplicações} + , brazilian = [A]{aplicação}[As]{aplicações} + , spanish = [La]{aplicación}[Las]{aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Применение}{Приложения} + } + } + +\NameTheorem { assertion } + { + , heading = { + , english = Assertion + , french = Assertion + , ngerman = Assertion + , italian = Asserzione + , portuguese = Asserção + , brazilian = Asserção + , spanish = Aserción + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждение + } + , crefname = { + , english = {assertion}{assertions} + , french = [l']{assertion}[les]{assertions} + , ngerman = { {Assertion}{Assertionen} + , Nominativ = [die]{Assertion}[die]{Assertionen} + , Genitiv = [der]{Assertion}[der]{Assertionen} + , Dativ = [der]{Assertion}[den]{Assertionen} + , Akkusativ = [die]{Assertion}[die]{Assertionen} + } + , italian = [l']{asserzione}[le]{asserzioni} + , portuguese = [a]{asserção}[as]{asserções} + , brazilian = [a]{asserção}[as]{asserções} + , spanish = [la]{aserción}[las]{aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {утверждение}{утверждения} + } + , Crefname = { + , english = {Assertion}{Assertions} + , french = [L']{assertion}[Les]{assertions} + , ngerman = { {Assertion}{Assertionen} + , Nominativ = [Die]{Assertion}[Die]{Assertionen} + , Genitiv = [Der]{Assertion}[Der]{Assertionen} + , Dativ = [Der]{Assertion}[Den]{Assertionen} + , Akkusativ = [Die]{Assertion}[Die]{Assertionen} + } + , italian = [L']{asserzione}[Le]{asserzioni} + , portuguese = [A]{asserção}[As]{asserções} + , brazilian = [A]{asserção}[As]{asserções} + , spanish = [La]{aserción}[Las]{aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждение}{Утверждения} + } + } + +\NameTheorem { assumption } + { + , heading = { + , english = Assumption + , french = Supposition + , ngerman = Annahme + , italian = Supposizione + , portuguese = Suposição + , brazilian = Suposição + , spanish = Suposición + , schinese = 假定 + , tchinese = 假定 + , japanese = 仮定 + , russian = Предположение + } + , crefname = { + , english = {assumption}{assumptions} + , french = [la]{supposition}[les]{suppositions} + , ngerman = { {Annahme}{Annahmen} + , Nominativ = [die]{Annahme}[die]{Annahmen} + , Genitiv = [der]{Annahme}[der]{Annahmen} + , Dativ = [der]{Annahme}[den]{Annahmen} + , Akkusativ = [die]{Annahme}[die]{Annahmen} + } + , italian = [la]{supposizione}[le]{supposizioni} + , portuguese = [a]{suposição}[as]{suposições} + , brazilian = [a]{suposição}[as]{suposições} + , spanish = [la]{suposición}[las]{suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {предположение}{предположения} + } + , Crefname = { + , english = {Assumption}{Assumptions} + , french = [La]{supposition}[Les]{suppositions} + , ngerman = { {Annahme}{Annahmen} + , Nominativ = [Die]{Annahme}[Die]{Annahmen} + , Genitiv = [Der]{Annahme}[Der]{Annahmen} + , Dativ = [Der]{Annahme}[Den]{Annahmen} + , Akkusativ = [Die]{Annahme}[Die]{Annahmen} + } + , italian = [la]{supposizione}[le]{supposizioni} + , portuguese = [A]{suposição}[As]{suposições} + , brazilian = [A]{suposição}[As]{suposições} + , spanish = [La]{suposición}[Las]{suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположение}{Предположения} + } + } + +\NameTheorem { axiom } + { + , heading = { + , english = Axiom + , french = Axiome + , ngerman = Axiom + , italian = Assioma + , portuguese = Axioma + , brazilian = Axioma + , spanish = Axioma + , schinese = 公理 + , tchinese = 公理 + , japanese = 公理 + , russian = Аксиома + } + , crefname = { + , english = {axiom}{axioms} + , french = [l']{axiome}[les]{axiomes} + , ngerman = { {Axiom}{Axiome} + , Nominativ = [das]{Axiom}[die]{Axiome} + , Genitiv = [des]{Axioms}[der]{Axiome} + , Dativ = [dem]{Axiom}[den]{Axiomen} + , Akkusativ = [das]{Axiom}[die]{Axiome} + } + , italian = [l']{assioma}[gli]{assiomi} + , portuguese = [o]{axioma}[os]{axiomas} + , brazilian = [o]{axioma}[os]{axiomas} + , spanish = [el]{axioma}[los]{axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {аксиома}{аксиомы} + } + , Crefname = { + , english = {Axiom}{Axioms} + , french = [L']{axiome}[Les]{axiomes} + , ngerman = { {Axiom}{Axiome} + , Nominativ = [Das]{Axiom}[Die]{Axiome} + , Genitiv = [Des]{Axioms}[Der]{Axiome} + , Dativ = [Dem]{Axiom}[Den]{Axiomen} + , Akkusativ = [Das]{Axiom}[Die]{Axiome} + } + , italian = [L']{assioma}[Gli]{assiomi} + , portuguese = [O]{axioma}[Os]{axiomas} + , brazilian = [O]{axioma}[Os]{axiomas} + , spanish = [El]{axioma}[Los]{axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиома}{Аксиомы} + } + } + +\NameTheorem { claim } + { + , heading = { + , english = Claim + , french = Affirmation + , ngerman = Behauptung + , italian = Affermazione + , portuguese = Afirmação + , brazilian = Afirmação + , spanish = Afirmación + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждение + } + , crefname = { + , english = {claim}{claims} + , french = [l']{affirmation}[les]{affirmations} + , ngerman = { {Behauptung}{Behauptungen} + , Nominativ = [die]{Behauptung}[die]{Behauptungen} + , Genitiv = [der]{Behauptung}[der]{Behauptungen} + , Dativ = [der]{Behauptung}[den]{Behauptungen} + , Akkusativ = [die]{Behauptung}[die]{Behauptungen} + } + , italian = [l']{affermazione}[le]{affermazioni} + , portuguese = [a]{afirmação}[as]{afirmações} + , brazilian = [a]{afirmação}[as]{afirmações} + , spanish = [la]{afirmación}[las]{afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {утверждение}{утверждения} + } + , Crefname = { + , english = {Claim}{Claims} + , french = [L']{affirmation}[Les]{affirmations} + , ngerman = { {Behauptung}{Behauptungen} + , Nominativ = [Die]{Behauptung}[Die]{Behauptungen} + , Genitiv = [Der]{Behauptung}[Der]{Behauptungen} + , Dativ = [Der]{Behauptung}[Den]{Behauptungen} + , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen} + } + , italian = [L']{affermazione}[Le]{affermazioni} + , portuguese = [A]{afirmação}[As]{afirmações} + , brazilian = [A]{afirmação}[As]{afirmações} + , spanish = [La]{afirmación}[Las]{afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждение}{Утверждения} + } + } + +\NameTheorem { commentary } + { + , heading = { + , english = Commentary + , french = Commentaire + , ngerman = Kommentar + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 % コメント + , russian = Комментарий + } + , crefname = { + , english = {commentary}{commentaries} + , french = [le]{commentaire}[les]{commentaires} + , ngerman = { {Kommentar}{Kommentare} + , Nominativ = [der]{Kommentar}[die]{Kommentare} + , Genitiv = [des]{Kommentars}[der]{Kommentare} + , Dativ = [dem]{Kommentar}[den]{Kommentaren} + , Akkusativ = [den]{Kommentar}[die]{Kommentare} + } + , italian = [il]{commento}[i]{commenti} + , portuguese = [o]{comentário}[os]{comentários} + , brazilian = [o]{comentário}[os]{comentários} + , spanish = [el]{comentario}[los]{comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {комментарий}{комментарии} + } + , Crefname = { + , english = {Commentary}{Commentaries} + , french = [Le]{commentaire}[Les]{commentaires} + , ngerman = { {Kommentar}{Kommentare} + , Nominativ = [Der]{Kommentar}[Die]{Kommentare} + , Genitiv = [Des]{Kommentars}[Der]{Kommentare} + , Dativ = [Dem]{Kommentar}[Den]{Kommentaren} + , Akkusativ = [Den]{Kommentar}[Die]{Kommentare} + } + , italian = [Il]{commento}[I]{commenti} + , portuguese = [O]{comentário}[Os]{comentários} + , brazilian = [O]{comentário}[Os]{comentários} + , spanish = [El]{comentario}[Los]{comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарий}{Комментарии} + } + } + +\NameTheorem { conclusion } + { + , heading = { + , english = Conclusion + , french = Conclusion + , ngerman = Schlussfolgerung + , italian = Conclusione + , portuguese = Conclusão + , brazilian = Conclusão + , spanish = Conclusión + , schinese = 结论 + , tchinese = 結論 + , japanese = 結論 + , russian = Вывод + } + , crefname = { + , english = {conclusion}{conclusions} + , french = [la]{conclusion}[Les]{conclusions} + , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} + , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} + , Genitiv = [der]{Schlussfolgerung}[der]{Schlussfolgerungen} + , Dativ = [der]{Schlussfolgerung}[den]{Schlussfolgerungen} + , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} + } + , italian = [la]{conclusione}[le]{conclusioni} + , portuguese = [a]{conclusão}[as]{conclusões} + , brazilian = [a]{conclusão}[as]{conclusões} + , spanish = [la]{conclusión}[las]{conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {вывод}{выводы} + } + , Crefname = { + , english = {Conclusion}{Conclusions} + , french = [La]{conclusion}[Les]{conclusions} + , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} + , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} + , Genitiv = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen} + , Dativ = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen} + , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} + } + , italian = [La]{conclusione}[Le]{conclusioni} + , portuguese = [A]{conclusão}[As]{conclusões} + , brazilian = [A]{conclusão}[As]{conclusões} + , spanish = [La]{conclusión}[Las]{conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Вывод}{Выводы} + } + } + +\NameTheorem { conjecture } + { + , heading = { + , english = Conjecture + , french = Conjecture + , ngerman = Vermutung + , italian = Congettura + , portuguese = Conjetura + , brazilian = Conjectura + , spanish = Conjetura + , schinese = 猜想 + , tchinese = 猜想 + , japanese = 予想 + , russian = Гипотеза + } + , crefname = { + , english = {conjecture}{conjectures} + , french = [la]{conjecture}[les]{conjectures} + , ngerman = { {Vermutung}{Vermutungen} + , Nominativ = [die]{Vermutung}[die]{Vermutungen} + , Genitiv = [der]{Vermutung}[der]{Vermutungen} + , Dativ = [der]{Vermutung}[den]{Vermutungen} + , Akkusativ = [die]{Vermutung}[die]{Vermutungen} + } + , italian = [la]{congettura}[le]{congetture} + , portuguese = [a]{conjetura}[as]{conjeturas} + , brazilian = [a]{conjectura}[as]{conjecturas} + , spanish = [la]{conjetura}[las]{conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {гипотеза}{гипотезы} + } + , Crefname = { + , english = {Conjecture}{Conjectures} + , french = [La]{conjecture}[Les]{conjectures} + , ngerman = { {Vermutung}{Vermutungen} + , Nominativ = [Die]{Vermutung}[Die]{Vermutungen} + , Genitiv = [Der]{Vermutung}[Der]{Vermutungen} + , Dativ = [Der]{Vermutung}[Den]{Vermutungen} + , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen} + } + , italian = [La]{congettura}[Le]{congetture} + , portuguese = [A]{conjetura}[As]{conjeturas} + , brazilian = [A]{conjectura}[As]{conjecturas} + , spanish = [La]{conjetura}[Las]{conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотеза}{Гипотезы} + } + } + +\NameTheorem { construction } + { + , heading = { + , english = Construction + , french = Construction + , ngerman = Konstruktion + , italian = Costruzione + , portuguese = Construção + , brazilian = Construção + , spanish = Construcción + , schinese = 构造 + , tchinese = 構造 + , japanese = 構造 + , russian = Конструкция + } + , crefname = { + , english = {construction}{constructions} + , french = [la]{construction}[les]{constructions} + , ngerman = { {Konstruktion}{Konstruktionen} + , Nominativ = [die]{Konstruktion}[die]{Konstruktionen} + , Genitiv = [der]{Konstruktion}[der]{Konstruktionen} + , Dativ = [der]{Konstruktion}[den]{Konstruktionen} + , Akkusativ = [die]{Konstruktion}[die]{Konstruktionen} + } + , italian = [la]{costruzione}[le]{costruzioni} + , portuguese = [a]{construção}[as]{construções} + , brazilian = [a]{construção}[as]{construções} + , spanish = [la]{construcción}[las]{construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {конструкция}{конструкции} + } + , Crefname = { + , english = {Construction}{Constructions} + , french = [La]{construction}[Les]{constructions} + , ngerman = { {Konstruktion}{Konstruktionen} + , Nominativ = [Die]{Konstruktion}[Die]{Konstruktionen} + , Genitiv = [Der]{Konstruktion}[Der]{Konstruktionen} + , Dativ = [Der]{Konstruktion}[Den]{Konstruktionen} + , Akkusativ = [Die]{Konstruktion}[Die]{Konstruktionen} + } + , italian = [La]{costruzione}[Le]{costruzioni} + , portuguese = [A]{construção}[As]{construções} + , brazilian = [A]{construção}[As]{construções} + , spanish = [La]{construcción}[Las]{construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкция}{Конструкции} + } + } + +\NameTheorem { convention } + { + , heading = { + , english = Convention + , french = Convention + , ngerman = Konvention + , italian = Convenzione + , portuguese = Convenção + , brazilian = Convenção + , spanish = Convención + , schinese = 约定 + , tchinese = 約定 + , japanese = 慣例 + , russian = Конвенция + } + , crefname = { + , english = {convention}{conventions} + , french = [la]{convention}[les]{conventions} + , ngerman = { {Konvention}{Konventionen} + , Nominativ = [die]{Konvention}[die]{Konventionen} + , Genitiv = [der]{Konvention}[der]{Konventionen} + , Dativ = [der]{Konvention}[den]{Konventionen} + , Akkusativ = [die]{Konvention}[die]{Konventionen} + } + , italian = [la]{convenzione}[le]{convenzioni} + , portuguese = [a]{convenção}[as]{convenções} + , brazilian = [a]{convenção}[as]{convenções} + , spanish = [la]{convención}[las]{convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {конвенция}{конвенции} + } + , Crefname = { + , english = {Convention}{Conventions} + , french = [La]{convention}[Les]{conventions} + , ngerman = { {Konvention}{Konventionen} + , Nominativ = [Die]{Konvention}[Die]{Konventionen} + , Genitiv = [Der]{Konvention}[Der]{Konventionen} + , Dativ = [Der]{Konvention}[Den]{Konventionen} + , Akkusativ = [Die]{Konvention}[Die]{Konventionen} + } + , italian = [La]{convenzione}[Le]{convenzioni} + , portuguese = [A]{convenção}[As]{convenções} + , brazilian = [A]{convenção}[As]{convenções} + , spanish = [La]{convención}[Las]{convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенция}{Конвенции} + } + } + +\NameTheorem { corollary } + { + , heading = { + , english = Corollary + , french = Corollaire + , ngerman = Korollar + , italian = Corollario + , portuguese = Corolário + , brazilian = Corolário + , spanish = Corolario + , schinese = 推论 + , tchinese = 推論 + , japanese = 系 + , russian = Следствие + } + , crefname = { + , english = {corollary}{corollaries} + , french = [le]{corollaire}[les]{corollaires} + , ngerman = { {Korollar}{Korollare} + , Nominativ = [das]{Korollar}[die]{Korollare} + , Genitiv = [des]{Korollars}[der]{Korollare} + , Dativ = [dem]{Korollar}[den]{Korollaren} + , Akkusativ = [das]{Korollar}[die]{Korollare} + } + , italian = [il]{corollario}[i]{corollari} + , portuguese = [o]{corolário}[os]{corolários} + , brazilian = [o]{corolário}[os]{corolários} + , spanish = [el]{corolario}[los]{corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {следствие}{следствия} + } + , Crefname = { + , english = {Corollary}{Corollaries} + , french = [Le]{corollaire}[Les]{corollaires} + , ngerman = { {Korollar}{Korollare} + , Nominativ = [Das]{Korollar}[Die]{Korollare} + , Genitiv = [Des]{Korollars}[Der]{Korollare} + , Dativ = [Dem]{Korollar}[Den]{Korollaren} + , Akkusativ = [Das]{Korollar}[Die]{Korollare} + } + , italian = [Il]{corollario}[I]{corollari} + , portuguese = [O]{corolário}[Os]{corolários} + , brazilian = [O]{corolário}[Os]{corolários} + , spanish = [El]{corolario}[Los]{corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствие}{Следствия} + } + } + +\NameTheorem { definition } + { + , heading = { + , english = Definition + , french = Définition + , ngerman = Definition + , italian = Definizione + , portuguese = Definição + , brazilian = Definição + , spanish = Definición + , schinese = 定义 + , tchinese = 定義 + , japanese = 定義 + , russian = Определение + } + , crefname = { + , english = {definition}{definitions} + , french = [la]{définition}[les]{définitions} + , ngerman = { {Definition}{Definitionen} + , Nominativ = [die]{Definition}[die]{Definitionen} + , Genitiv = [der]{Definition}[der]{Definitionen} + , Dativ = [der]{Definition}[den]{Definitionen} + , Akkusativ = [die]{Definition}[die]{Definitionen} + } + , italian = [la]{definizione}[le]{definizioni} + , portuguese = [a]{definição}[as]{definições} + , brazilian = [a]{definição}[as]{definições} + , spanish = [la]{definición}[las]{definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {определение}{определения} + } + , Crefname = { + , english = {Definition}{Definitions} + , french = [La]{définition}[Les]{définitions} + , ngerman = { {Definition}{Definitionen} + , Nominativ = [Die]{Definition}[Die]{Definitionen} + , Genitiv = [Der]{Definition}[Der]{Definitionen} + , Dativ = [Der]{Definition}[Den]{Definitionen} + , Akkusativ = [Die]{Definition}[Die]{Definitionen} + } + , italian = [La]{definizione}[Le]{definizioni} + , portuguese = [A]{definição}[As]{definições} + , brazilian = [A]{definição}[As]{definições} + , spanish = [La]{definición}[Las]{definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определение}{Определения} + } + } + +\NameTheorem { example } + { + , heading = { + , english = Example + , french = Exemple + , ngerman = Beispiel + , italian = Esempio + , portuguese = Exemplo + , brazilian = Exemplo + , spanish = Ejemplo + , schinese = 例 + , tchinese = 例 + , japanese = 例 + , russian = Пример + } + , crefname = { + , english = {example}{examples} + , french = [l']{exemple}[les]{exemples} + , ngerman = { {Beispiel}{Beispiele} + , Nominativ = [das]{Beispiel}[die]{Beispiele} + , Genitiv = [des]{Beispiels}[der]{Beispiele} + , Dativ = [dem]{Beispiel}[den]{Beispielen} + , Akkusativ = [das]{Beispiel}[die]{Beispiele} + } + , italian = [l']{esempio}[gli]{esempi} + , portuguese = [o]{exemplo}[os]{exemplos} + , brazilian = [o]{exemplo}[os]{exemplos} + , spanish = [el]{ejemplo}[los]{ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {пример}{примеры} + } + , Crefname = { + , english = {Example}{Examples} + , french = [L']{exemple}[Les]{exemples} + , ngerman = { {Beispiel}{Beispiele} + , Nominativ = [Das]{Beispiel}[Die]{Beispiele} + , Genitiv = [Des]{Beispiels}[Der]{Beispiele} + , Dativ = [Dem]{Beispiel}[Den]{Beispielen} + , Akkusativ = [Das]{Beispiel}[Die]{Beispiele} + } + , italian = [L']{esempio}[Gli]{esempi} + , portuguese = [O]{exemplo}[Os]{exemplos} + , brazilian = [O]{exemplo}[Os]{exemplos} + , spanish = [El]{ejemplo}[Los]{ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Пример}{Примеры} + } + } + +\NameTheorem { exercise } + { + , heading = { + , english = Exercise + , french = Exercice + , ngerman = Übung + , italian = Esercizio + , portuguese = Exercício + , brazilian = Exercício + , spanish = Ejercicio + , schinese = 习题 + , tchinese = 習題 + , japanese = 練習 + , russian = Упражнение + } + , crefname = { + , english = {exercise}{exercises} + , french = [l']{exercice}[les]{exercices} + , ngerman = { {Übung}{Übungen} + , Nominativ = [die]{Übung}[die]{Übungen} + , Genitiv = [der]{Übung}[der]{Übungen} + , Dativ = [der]{Übung}[den]{Übungen} + , Akkusativ = [die]{Übung}[die]{Übungen} + } + , italian = [l']{esercizio}[gli]{esercizi} + , portuguese = [o]{exercício}[os]{exercícios} + , brazilian = [o]{exercício}[os]{exercícios} + , spanish = [el]{ejercicio}[los]{ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {упражнение}{упражнения} + } + , Crefname = { + , english = {Exercise}{Exercises} + , french = [L']{exercice}[Les]{exercices} + , ngerman = { {Übung}{Übungen} + , Nominativ = [Die]{Übung}[Die]{Übungen} + , Genitiv = [Der]{Übung}[Der]{Übungen} + , Dativ = [Der]{Übung}[Den]{Übungen} + , Akkusativ = [Die]{Übung}[Die]{Übungen} + } + , italian = [L']{esercizio}[Gli]{esercizi} + , portuguese = [O]{exercício}[Os]{exercícios} + , brazilian = [O]{exercício}[Os]{exercícios} + , spanish = [El]{ejercicio}[Los]{ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнение}{Упражнения} + } + } + +\NameTheorem { fact } + { + , heading = { + , english = Fact + , french = Fait + , ngerman = Tatsache + , italian = Fatto + , portuguese = Facto + , brazilian = Fato + , spanish = Hecho + , schinese = 事实 + , tchinese = 事實 + , japanese = 事実 + , russian = Факт + } + , crefname = { + , english = {fact}{facts} + , french = [le]{fait}[les]{faits} + , ngerman = { {Tatsache}{Tatsachen} + , Nominativ = [die]{Tatsache}[die]{Tatsachen} + , Genitiv = [der]{Tatsache}[der]{Tatsachen} + , Dativ = [der]{Tatsache}[den]{Tatsachen} + , Akkusativ = [die]{Tatsache}[die]{Tatsachen} + } + , italian = [il]{fatto}[i]{fatti} + , portuguese = [o]{facto}[os]{factos} + , brazilian = [o]{fato}[os]{fatos} + , spanish = [el]{hecho}[los]{hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {факт}{факты} + } + , Crefname = { + , english = {Fact}{Facts} + , french = [Le]{fait}[Les]{faits} + , ngerman = { {Tatsache}{Tatsachen} + , Nominativ = [Die]{Tatsache}[Die]{Tatsachen} + , Genitiv = [Der]{Tatsache}[Der]{Tatsachen} + , Dativ = [Der]{Tatsache}[Den]{Tatsachen} + , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen} + } + , italian = [Il]{fatto}[I]{fatti} + , portuguese = [O]{facto}[Os]{factos} + , brazilian = [O]{fato}[Os]{fatos} + , spanish = [El]{hecho}[Los]{hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факт}{Факты} + } + } + +\NameTheorem { hypothesis } + { + , heading = { + , english = Hypothesis + , french = Hypothèse + , ngerman = Hypothese + , italian = Ipotesi + , portuguese = Hipótese + , brazilian = Hipótese + , spanish = Hipótesis + , schinese = 假设 + , tchinese = 假設 + , japanese = 仮設 + , russian = Гипотеза + } + , crefname = { + , english = {hypothesis}{hypotheses} + , french = [l']{hypothèse}[les]{hypothèses} + , ngerman = { {Hypothese}{Hypothesen} + , Nominativ = [die]{Hypothese}[die]{Hypothesen} + , Genitiv = [der]{Hypothese}[der]{Hypothesen} + , Dativ = [der]{Hypothese}[den]{Hypothesen} + , Akkusativ = [die]{Hypothese}[die]{Hypothesen} + } + , italian = [l']{ipotesi}[le]{ipotesi} + , portuguese = [a]{hipótese}[as]{hipóteses} + , brazilian = [a]{hipótese}[as]{hipóteses} + , spanish = [la]{hipótesis}[las]{hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {гипотеза}{гипотезы} + } + , Crefname = { + , english = {Hypothesis}{Hypotheses} + , french = [L']{hypothèse}[Les]{hypothèses} + , ngerman = { {Hypothese}{Hypothesen} + , Nominativ = [Die]{Hypothese}[Die]{Hypothesen} + , Genitiv = [Der]{Hypothese}[Der]{Hypothesen} + , Dativ = [Der]{Hypothese}[Den]{Hypothesen} + , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen} + } + , italian = [L']{ipotesi}[Le]{ipotesi} + , portuguese = [A]{hipótese}[As]{hipóteses} + , brazilian = [A]{hipótese}[As]{hipóteses} + , spanish = [La]{hipótesis}[Las]{hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотеза}{Гипотезы} + } + } + +\NameTheorem { lemma } + { + , heading = { + , english = Lemma + , french = Lemme + , ngerman = Lemma + , italian = Lemma + , portuguese = Lema + , brazilian = Lema + , spanish = Lema + , schinese = 引理 + , tchinese = 引理 + , japanese = 補題 + , russian = Лемма + } + , crefname = { + , english = {lemma}{Lemmas} + , french = [le]{lemme}[les]{lemmes} + , ngerman = { {Lemma}{Lemmata} + , Nominativ = [das]{Lemma}[die]{Lemmata} + , Genitiv = [des]{Lemmas}[der]{Lemmata} + , Dativ = [dem]{Lemma}[den]{Lemmata} + , Akkusativ = [das]{Lemma}[die]{Lemmata} + } + , italian = [il]{lemma}[i]{lemmi} + , portuguese = [o]{lema}[os]{lemas} + , brazilian = [o]{lema}[os]{lemas} + , spanish = [el]{lema}[las]{lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {лемма}{леммы} + } + , Crefname = { + , english = {Lemma}{Lemmas} + , french = [Le]{lemme}[Les]{lemmes} + , ngerman = { {Lemma}{Lemmata} + , Nominativ = [Das]{Lemma}[Die]{Lemmata} + , Genitiv = [Des]{Lemmas}[Der]{Lemmata} + , Dativ = [Dem]{Lemma}[Den]{Lemmata} + , Akkusativ = [Das]{Lemma}[Die]{Lemmata} + } + , italian = [Il]{lemma}[I]{lemmi} + , portuguese = [O]{lema}[Os]{lemas} + , brazilian = [O]{lema}[Os]{lemas} + , spanish = [el]{lema}[las]{lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Лемма}{Леммы} + } + } + +\NameTheorem { motivation } + { + , heading = { + , english = Motivation + , french = Motivation + , ngerman = Motivation + , italian = Motivazione + , portuguese = Motivação + , brazilian = Motivação + , spanish = Motivacion + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 % モチベーション + , russian = Мотивация + } + , crefname = { + , english = {motivation}{motivations} + , french = [la]{motivation}[les]{motivations} + , ngerman = { {Motivation}{Motivationen} + , Nominativ = [die]{Motivation}[die]{Motivationen} + , Genitiv = [der]{Motivation}[der]{Motivationen} + , Dativ = [der]{Motivation}[den]{Motivationen} + , Akkusativ = [die]{Motivation}[die]{Motivationen} + } + , italian = [la]{motivazione}[le]{motivazioni} + , portuguese = [a]{motivação}[as]{motivações} + , brazilian = [a]{motivação}[as]{motivações} + , spanish = [la]{motivacion}[las]{motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {мотивация}{мотивации} + } + , Crefname = { + , english = {Motivation}{Motivations} + , french = [La]{motivation}[Les]{motivations} + , ngerman = { {Motivation}{Motivationen} + , Nominativ = [Die]{Motivation}[Die]{Motivationen} + , Genitiv = [Der]{Motivation}[Der]{Motivationen} + , Dativ = [Der]{Motivation}[Den]{Motivationen} + , Akkusativ = [Die]{Motivation}[Die]{Motivationen} + } + , italian = [La]{motivazione}[Le]{motivazioni} + , portuguese = [A]{motivação}[As]{motivações} + , brazilian = [A]{motivação}[As]{motivações} + , spanish = [La]{motivacion}[Las]{motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивация}{Мотивации} + } + } + +\NameTheorem { notation } + { + , heading = { + , english = Notation + , french = Notation + , ngerman = Notation + , italian = Notazione + , portuguese = Notação + , brazilian = Notação + , spanish = Notación + , schinese = 记号 + , tchinese = 記號 + , japanese = 記法 + , russian = Нотация + } + , crefname = { + , english = {notation}{notations} + , french = [la]{notation}[les]{notations} + , ngerman = { {Notation}{Notationen} + , Nominativ = [die]{Notation}[die]{Notationen} + , Genitiv = [der]{Notation}[der]{Notationen} + , Dativ = [der]{Notation}[den]{Notationen} + , Akkusativ = [die]{Notation}[die]{Notationen} + } + , italian = [la]{notazione}[le]{notazioni} + , portuguese = [a]{notação}[as]{notações} + , brazilian = [a]{notação}[as]{notações} + , spanish = [la]{notación}[las]{notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {нотация}{нотации} + } + , Crefname = { + , english = {Notation}{Notations} + , french = [La]{notation}[Les]{notations} + , ngerman = { {Notation}{Notationen} + , Nominativ = [Die]{Notation}[Die]{Notationen} + , Genitiv = [Der]{Notation}[Der]{Notationen} + , Dativ = [Der]{Notation}[Den]{Notationen} + , Akkusativ = [Die]{Notation}[Die]{Notationen} + } + , italian = [La]{notazione}[Le]{notazioni} + , portuguese = [A]{notação}[As]{notações} + , brazilian = [A]{notação}[As]{notações} + , spanish = [La]{notación}[Las]{notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотация}{Нотации} + } + } + +\NameTheorem { observation } + { + , heading = { + , english = Observation + , french = Observation + , ngerman = Beobachtung + , italian = Osservazione + , portuguese = Observação + , brazilian = Observação + , spanish = Observación + , schinese = 观察 + , tchinese = 觀察 + , japanese = 観察 + , russian = Наблюдение + } + , crefname = { + , english = {observation}{observations} + , french = [la]{observation}[les]{observations} + , ngerman = { {Beobachtung}{Beobachtungen} + , Nominativ = [die]{Beobachtung}[die]{Beobachtungen} + , Genitiv = [der]{Beobachtung}[der]{Beobachtungen} + , Dativ = [der]{Beobachtung}[den]{Beobachtungen} + , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen} + } + , italian = [l']{osservazione}[le]{osservazioni} + , portuguese = [a]{observação}[as]{observações} + , brazilian = [a]{observação}[as]{observações} + , spanish = [la]{observación}[las]{observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {наблюдение}{наблюдения} + } + , Crefname = { + , english = {Observation}{Observations} + , french = [La]{observation}[Les]{observations} + , ngerman = { {Beobachtung}{Beobachtungen} + , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen} + , Genitiv = [Der]{Beobachtung}[Der]{Beobachtungen} + , Dativ = [Der]{Beobachtung}[Den]{Beobachtungen} + , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen} + } + , italian = [L']{osservazione}[Le]{osservazioni} + , portuguese = [A]{observação}[As]{observações} + , brazilian = [A]{observação}[As]{observações} + , spanish = [La]{observación}[Las]{observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдение}{Наблюдения} + } + } + +\NameTheorem { postulate } + { + , heading = { + , english = Postulate + , french = Postulat + , ngerman = Postulat + , italian = Postulato + , portuguese = Postulado + , brazilian = Postulado + , spanish = Postulado + , schinese = 公设 + , tchinese = 公設 + , japanese = 公準 + , russian = Постулат + } + , crefname = { + , english = {postulate}{postulates} + , french = [le]{postulat}[les]{postulats} + , ngerman = { {Postulat}{Postulate} + , Nominativ = [das]{Postulat}[die]{Postulate} + , Genitiv = [des]{Postulates}[der]{Postulate} + , Dativ = [dem]{Postulat}[den]{Postulaten} + , Akkusativ = [das]{Postulat}[die]{Postulate} + } + , italian = [il]{postulato}[i]{postulati} + , portuguese = [o]{postulado}[os]{postulados} + , brazilian = [o]{postulado}[os]{postulados} + , spanish = [el]{postulado}[los]{postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {постулат}{постулаты} + } + , Crefname = { + , english = {Postulate}{Postulates} + , french = [Le]{postulat}[Les]{postulats} + , ngerman = { {Postulat}{Postulate} + , Nominativ = [Das]{Postulat}[Die]{Postulate} + , Genitiv = [Des]{Postulates}[Der]{Postulate} + , Dativ = [Dem]{Postulat}[Den]{Postulaten} + , Akkusativ = [Das]{Postulat}[Die]{Postulate} + } + , italian = [Il]{postulato}[I]{postulati} + , portuguese = [O]{postulado}[Os]{postulados} + , brazilian = [O]{postulado}[Os]{postulados} + , spanish = [El]{postulado}[Los]{postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулат}{Постулаты} + } + } + +\NameTheorem { problem } + { + , heading = { + , english = Problem + , french = Problème + , ngerman = Problem + , italian = Problema + , portuguese = Problema + , brazilian = Problema + , spanish = Problema + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Проблема + } + , crefname = { + , english = {problem}{problems} + , french = [le]{problème}[les]{problèmes} + , ngerman = { {Problem}{Probleme} + , Nominativ = [das]{Problem}[die]{Probleme} + , Genitiv = [des]{Problems}[der]{Probleme} + , Dativ = [dem]{Problem}[den]{Problemen} + , Akkusativ = [das]{Problem}[die]{Probleme} + } + , italian = [il]{problema}[i]{problemi} + , portuguese = [o]{problema}[os]{problemas} + , brazilian = [o]{problema}[os]{problemas} + , spanish = [el]{problema}[los]{problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {проблема}{проблемы} + } + , Crefname = { + , english = {Problem}{Problems} + , french = [Le]{problème}[Les]{problèmes} + , ngerman = { {Problem}{Probleme} + , Nominativ = [Das]{Problem}[Die]{Probleme} + , Genitiv = [Des]{Problems}[Der]{Probleme} + , Dativ = [Dem]{Problem}[Den]{Problemen} + , Akkusativ = [Das]{Problem}[Die]{Probleme} + } + , italian = [Il]{problema}[I]{problemi} + , portuguese = [O]{problema}[Os]{problemas} + , brazilian = [O]{problema}[Os]{problemas} + , spanish = [El]{problema}[Los]{problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблема}{Проблемы} + } + } + +\NameTheorem { property } + { + , heading = { + , english = Property + , french = Propriété + , ngerman = Eigenschaft + , italian = Proprietà + , portuguese = Propriedade + , brazilian = Propriedade + , spanish = Propiedad + , schinese = 性质 + , tchinese = 性質 + , japanese = 性質 + , russian = Имущество + } + , crefname = { + , english = {property}{properties} + , french = [la]{propriété}[les]{propriétés} + , ngerman = { {Eigenschaft}{Eigenschaften} + , Nominativ = [die]{Eigenschaft}[die]{Eigenschaften} + , Genitiv = [der]{Eigenschaft}[der]{Eigenschaften} + , Dativ = [der]{Eigenschaft}[den]{Eigenschaften} + , Akkusativ = [die]{Eigenschaft}[die]{Eigenschaften} + } + , italian = [la]{proprietà}[le]{proprietà} + , portuguese = [a]{propriedade}[as]{propriedades} + , brazilian = [a]{propriedade}[as]{propriedades} + , spanish = [la]{propiedad}[las]{propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {имущество}{имущества} + } + , Crefname = { + , english = {Property}{Properties} + , french = [La]{propriété}[Les]{propriétés} + , ngerman = { {Eigenschaft}{Eigenschaften} + , Nominativ = [Die]{Eigenschaft}[Die]{Eigenschaften} + , Genitiv = [Der]{Eigenschaft}[Der]{Eigenschaften} + , Dativ = [Der]{Eigenschaft}[Den]{Eigenschaften} + , Akkusativ = [Die]{Eigenschaft}[Die]{Eigenschaften} + } + , italian = [La]{proprietà}[Le]{proprietà} + , portuguese = [A]{propriedade}[As]{propriedades} + , brazilian = [A]{propriedade}[As]{propriedades} + , spanish = [La]{propiedad}[Las]{propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущество}{Имущества} + } + } + +\NameTheorem { proposition } + { + , heading = { + , english = Proposition + , french = Proposition + , ngerman = Proposition + , italian = Proposizione + , portuguese = Proposição + , brazilian = Proposição + , spanish = Proposición + , schinese = 命题 + , tchinese = 命題 + , japanese = 命題 + , russian = Предложение + } + , crefname = { + , english = {proposition}{propositions} + , french = [la]{proposition}[les]{propositions} + , ngerman = { {Proposition}{Propositionen} + , Nominativ = [die]{Proposition}[die]{Propositionen} + , Genitiv = [der]{Proposition}[der]{Propositionen} + , Dativ = [der]{Proposition}[den]{Propositionen} + , Akkusativ = [die]{Proposition}[die]{Propositionen} + } + , italian = [la]{proposizione}[le]{proposte} + , portuguese = [a]{proposição}[as]{proposições} + , brazilian = [a]{proposição}[as]{proposições} + , spanish = [la]{proposición}[las]{proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {предложение}{предложения} + } + , Crefname = { + , english = {Proposition}{Propositions} + , french = [La]{proposition}[Les]{propositions} + , ngerman = { {Proposition}{Propositionen} + , Nominativ = [Die]{Proposition}[Die]{Propositionen} + , Genitiv = [Der]{Proposition}[Der]{Propositionen} + , Dativ = [Der]{Proposition}[Den]{Propositionen} + , Akkusativ = [Die]{Proposition}[Die]{Propositionen} + } + , italian = [La]{proposizione}[Le]{proposte} + , portuguese = [A]{proposição}[As]{proposições} + , brazilian = [A]{proposição}[As]{proposições} + , spanish = [La]{proposición}[Las]{proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложение}{Предложения} + } + } + +\NameTheorem { question } + { + , heading = { + , english = Question + , french = Question + , ngerman = Frage + , italian = Domanda + , portuguese = Pergunta + , brazilian = Pergunta + , spanish = Pregunta + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Вопрос + } + , crefname = { + , english = {question}{questions} + , french = [la]{question}[les]{questions} + , ngerman = { {Frage}{Fragen} + , Nominativ = [die]{Frage}[die]{Fragen} + , Genitiv = [der]{Frage}[der]{Fragen} + , Dativ = [der]{Frage}[den]{Fragen} + , Akkusativ = [die]{Frage}[die]{Fragen} + } + , italian = [la]{domanda}[le]{domande} + , portuguese = [a]{pergunta}[as]{perguntas} + , brazilian = [a]{pergunta}[as]{perguntas} + , spanish = [la]{pregunta}[las]{preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {вопрос}{вопросы} + } + , Crefname = { + , english = {Question}{Questions} + , french = [La]{question}[Les]{questions} + , ngerman = { {Frage}{Fragen} + , Nominativ = [Die]{Frage}[Die]{Fragen} + , Genitiv = [Der]{Frage}[Der]{Fragen} + , Dativ = [Der]{Frage}[Den]{Fragen} + , Akkusativ = [Die]{Frage}[Die]{Fragen} + } + , italian = [La]{domanda}[Le]{domande} + , portuguese = [A]{pergunta}[As]{perguntas} + , brazilian = [A]{pergunta}[As]{perguntas} + , spanish = [La]{pregunta}[Las]{preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопрос}{Вопросы} + } + } + +\NameTheorem { recall } + { + , heading = { + , english = Recall + , french = Rappel + , ngerman = Erinnerung + , italian = Richiamo + , portuguese = Recordação + , brazilian = Recordação + , spanish = Recuerdo + , schinese = 回顾 + , tchinese = 回顧 + , japanese = 回顧 + , russian = Напоминание + } + , crefname = { + , english = {recall}{recalls} + , french = [le]{rappel}[les]{rappels} + , ngerman = { {Erinnerung}{Erinnerungen} + , Nominativ = [die]{Erinnerung}[die]{Erinnerungen} + , Genitiv = [der]{Erinnerung}[der]{Erinnerungen} + , Dativ = [der]{Erinnerung}[den]{Erinnerungen} + , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen} + } + , italian = [il]{richiamo}[i]{richiami} + , portuguese = [a]{recordação}[as]{recordações} + , brazilian = [a]{recordação}[as]{recordações} + , spanish = [el]{recuerdo}[los]{recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {напоминание}{напоминания} + } + , Crefname = { + , english = {Recall}{Recalls} + , french = [Le]{rappel}[Les]{rappels} + , ngerman = { {Erinnerung}{Erinnerungen} + , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen} + , Genitiv = [Der]{Erinnerung}[Der]{Erinnerungen} + , Dativ = [Der]{Erinnerung}[Den]{Erinnerungen} + , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen} + } + , italian = [Il]{richiamo}[I]{richiami} + , portuguese = [A]{recordação}[As]{recordações} + , brazilian = [A]{recordação}[As]{recordações} + , spanish = [El]{recuerdo}[Los]{recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминание}{Напоминания} + } + } + +\NameTheorem { remark } + { + , heading = { + , english = Remark + , french = Remarque + , ngerman = Bemerkung + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 备注 + , tchinese = 備註 + , japanese = 注釈 + , russian = Замечание + } + , crefname = { + , english = {remark}{remarks} + , french = [la]{remarque}[les]{remarques} + , ngerman = { {Bemerkung}{Bemerkungen} + , Nominativ = [die]{Bemerkung}[die]{Bemerkungen} + , Genitiv = [der]{Bemerkung}[der]{Bemerkungen} + , Dativ = [der]{Bemerkung}[den]{Bemerkungen} + , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen} + } + , italian = [il]{commento}[i]{commenti} + , portuguese = [o]{comentário}[os]{comentários} + , brazilian = [o]{comentário}[os]{comentários} + , spanish = [el]{comentario}[los]{comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {замечание}{замечания} + } + , Crefname = { + , english = {Remark}{Remarks} + , french = [La]{remarque}[Les]{remarques} + , ngerman = { {Bemerkung}{Bemerkungen} + , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen} + , Genitiv = [Der]{Bemerkung}[Der]{Bemerkungen} + , Dativ = [Der]{Bemerkung}[Den]{Bemerkungen} + , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen} + } + , italian = [Il]{commento}[I]{commenti} + , portuguese = [O]{comentário}[Os]{comentários} + , brazilian = [O]{comentário}[Os]{comentários} + , spanish = [El]{comentario}[Los]{comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечание}{Замечания} + } + } + +\NameTheorem { theorem } + { + , heading = { + , english = Theorem + , french = Théorème + , ngerman = Satz + , italian = Teorema + , portuguese = Teorema + , brazilian = Teorema + , spanish = Teorema + , schinese = 定理 + , tchinese = 定理 + , japanese = 定理 + , russian = Теорема + } + , crefname = { + , english = {theorem}{theorems} + , french = [le]{théorème}[les]{théorèmes} + , ngerman = { {Satz}{Sätze} + , Nominativ = [der]{Satz}[die]{Sätze} + , Genitiv = [des]{Satzes}[der]{Sätze} + , Dativ = [dem]{Satz}[den]{Sätzen} + , Akkusativ = [den]{Satz}[die]{Sätze} + } + , italian = [il]{teorema}[i]{teoremi} + , portuguese = [o]{teorema}[os]{teoremas} + , brazilian = [o]{teorema}[os]{teoremas} + , spanish = [el]{teorema}[los]{teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {теорема}{теоремы} + } + , Crefname = { + , english = {Theorem}{Theorems} + , french = [Le]{théorème}[Les]{théorèmes} + , ngerman = { {Satz}{Sätze} + , Nominativ = [Der]{Satz}[Die]{Sätze} + , Genitiv = [Des]{Satzes}[Der]{Sätze} + , Dativ = [Dem]{Satz}[Den]{Sätzen} + , Akkusativ = [Den]{Satz}[Die]{Sätze} + } + , italian = [Il]{teorema}[I]{teoremi} + , portuguese = [O]{teorema}[Os]{teoremas} + , brazilian = [O]{teorema}[Os]{teoremas} + , spanish = [El]{teorema}[Los]{teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теорема}{Теоремы} + } + } + +\NameTheorem { definition-corollary } { combined = { definition ; corollary } } +\NameTheorem { definition-proposition } { combined = { definition ; proposition } } +\NameTheorem { definition-theorem } { combined = { definition ; theorem } } + +\NameTheorem { corollary-definition } { combined = { corollary ; definition } } +\NameTheorem { proposition-definition } { combined = { proposition ; definition } } +\NameTheorem { theorem-definition } { combined = { theorem ; definition } } |