φ ഇൻ ജെക്റ്റീവ് ആണെങ്കിൽ, ഇസഡ് എഫിനുള്ളിൽ ഇരിക്കുന്നു, അത് നമ്മൾ ഉപയോഗിക്കുന്ന ഭാഷയാണ്, പക്ഷേ ഇസഡ് അനന്തമാണ്.
ஏன் இருக்காது, ஃபை இன்ஜெக்ட்டிவ்வாக இருந்தால், Z, F உள்ளே இருக்கும், Z இன்ஃபைனட்டாக இருப்பதால் Fம் இன்ஃபைனட்டாக இருக்கும், எனவே F ஃபைனட்டாக இருப்பதால் ஃபை இன்ஜெக்ட்டிவ்வாக இருக்காது.