>>273-274
>>276
AIより wiki の方がまだマシ

>>275
γ固有のことを書くと以前書いたように少し長い解析を要する
その後にγを無理数と仮定して背理法から矛盾を導く議論をして
γは有理数だといっているのだが、
直観主義論理ではこの背理法の議論は適用出来ないという