ゲーデル数化

ーでる・すうGēderu·sūka0

N.
Math., EDV Gödelisierung f f.