They were introduced by Max Dehn (1900) and discussed by Hilbert (1902, pp. 127–130, or pp. 42-43 in some later editions).
これらはMax Dehn (1900)で導入され、Hilbert (1902, pp. 127–130, or pp.  42-43 in some later editions)で論じられている。