しいたげられた🍄‍🟫しいたけ

8月12日付拙記事『「グレリングのパラドックス」は疑似パラドックスにすぎないのではないかという試論』中で、背理法が絶対的に信頼できるのか？ (排中律は絶対的に成立するのか) という議論において、答は必ず存在するが検証に無限の手間がかかる一例として「円周率の10進表記において9が連続して現れる回数は最大何回か…