e/Hilbert's second problem

Information
has gloss	eng: In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic is consistent – free of any internal contradictions.
lexicalization	eng: Hilbert's second problem
instance of	e/Hilbert's problems

Meaning
Russian
lexicalization	rus: Вторая проблема Гильберта
Chinese
has gloss	zho: 希爾伯特第二問題，即關於一個公理系統相容性的問題，也就是判定一個公理系統內的所命題是彼此相容無矛盾的，希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。
lexicalization	zho: 希爾伯特第二問題