{
符号化
}
{
クルト・ゲーデル
}
{
符号
}
(3)
{
ゲーデル数
K#
EDD2/A52F-0403
}
t_w 「プロモーションを含みます」
{
ゲーデル数
}
{
}
ゲーデル数}