云は、R.デデキントによる〆BA來とo尖方〇(兜井 1972(苧嵶5)定)と〆方とは採かそして採であるべきか〇(兜1888 (苧嵶21)定)の溢Uです。
原hとして、E.ネ`タ`による〆方とは採かそして採であるべきか〇の盾h(1931(孅才6)定)と、E.ツェルメロの猟、〆鹿栽の児Aにvする冩梢 I〇(1908(苧嵶41)定) の溢U、および、U宀によるきおろしの〆F旗の泣からの方僥の児A原け〇(2013(峠撹25)定)を原し、〆盾hとあとがき〇でデデキント2つの广の方僥雰の嶄での了崔や、F旗の方僥や方僥の児A原けの泣からたときの吭xや吭龍についてもじています。
云のこれらの原h、蒙に〆F旗の´〇は、i宀が、デデキントの2つの广をs雰議猟廚箸靴討世韻任覆、これらの广にAくr旗から、F旗にまでいたる方僥の児A原けにvする冩梢の送れを未まえた泣からも彌えられるよう、そのために駅勣となる児A岑Rをa怎する、ということを朕議としてき紗えたものだったのですが、これらの原hにより、畠悶として、デデキントの广恬をSとした、(F旗での) 方僥の児A原けの尖にvする秘Tとしてもiむことができるようなものになったと冱えると房います。
システム秤麪а仂真?縮娩 m勸拐