たとえば、実数体を R, 複素数体を C と書くとして、
「f:R → Y を一価の写像、
同様に f:C → Y を一価の写像」
と記述するだけで、論理的には R=C が導かれるとでもいうんですか？