基礎論知らんと「厳密には」証明できないよ、ということ
>>907みたいなのを、形式化、公理化しないで示せってのは
何を示せばいいのかわからんし、あまり意味がないと思う
明らかじゃね?とか言われても責められないかと