局所可算きょくしょかさん<きょく'しょ>・か'さん4

Math.lokales Abzählbarsein