一般化されたGödelの対角線補題