The notion was introduced by Erich Kähler in the 1930s.
アイデアは Erich Kähler によって1930年代に導入された。