爆笑問題の太田と田中のお笑いコント

太田：お〜い、田中、古典論理の ZFC の論理体系では
排中律や二重否定の使用は認められているが、
直観主義的敵論理の論理体系では
排中律や二重否定の使用が認められていないから、
オイラーの定数γは無理数なんだってな
田中：太田、何いってんだ、このバカ
排中律や二重否定の使用を認める古典論理の ZFC の論理体系で
γが無理数であることが示されれば
排中律や二重否定の無制限の使用を認めない
直観主義の論理体系でγは計算機で計算すれば
γは無理数であることが示されることになるが、
無理数は小数点以下の数字が循環しない実数だから
γを計算してもγの無理性は示せず、
一貫性が保たれなくなくなるだろ
排中律や二重否定の使用を認める ZFC の古典論理
の論理体系でγが有理数であることが示されれば、
排中律や二重否定の無制限の使用を認めない
直観主義の論理体系でもγを計算機で計算すれば、
γは有理数であることが示せる筈で、一貫性が保たれるだろ
太田：あっそうか、γは無理数ではなく有理数なのか