数学者のようにカップ焼きそばを作る方法
- まず, あなたが現在利用可能なカップ焼きそば全体の集合が空ではないこと, あなたが以下の指示によって要求される操作を十分に行えること, 以下の指示によって要求される道具と材料が十分に利用可能であること, を仮定する.
- 仮定より, 利用可能なカップ焼きそばをひとつ取ってくることができる. それをカップ焼きそば0とおく.
- カップ焼きそば0はカップ焼きそばなので, その中にかやくの袋とソースの袋が一意に存在する. これらをカップ焼きそば0から取り出し, それぞれかやくの袋0, ソースの袋0とおく.
- かやくの袋0の中身をカップ焼きそば0に入れ, 十分に熱くかつ十分に多い水をカップ焼きそば0に注ぐ.
- 3分後, カップ焼きそば0のほとんど至るところの水を捨て, ソースの袋0の中身を入れ, 十分に混ぜる. これを改めてカップ焼きそば1とおく.
- 以上の手順は有限回であり, 有限時間内に終了する. このようにして構成されたカップ焼きそば1が実際に完成された(completed)カップ焼きそばであることは容易に確かめられる.
∎
