ゲーデル数げーでるすう<[Gr]げーでる>・すう4

Math.EDVGödelnummer