>>522 ID:NpA6PxnJくんは、長谷川真人先生の「自己言及の論理と計算」はどうだい?
君なら理解できるだろう(^^