incompleteness theorem

音泳言型 (Oneigenkei)