論理的推論は、紙の上に書かれたいくつかの線分を、あるルールに則って延長していくことに似ている。延長は証明のステップであり、線の交わりは帰結である。論理的プラトン主義者は言うだろう。はじめの線分と延長のルールが与えられれば、それ以降に描かれ…