Redundanzスマートフォン用の表示で見るRedundanz僕の言葉は、人と話をするためにあるんじゃない。論理的推論は、紙の上に書かれたいくつかの線分を、あるルールに則って延長していくことに似ている。延長は証明のステップであり、線の交わりは帰結である。論理的プラトン主義者は言うだろう。はじめの線分と延長のルールが与えられれば、それ以降に描かれ...0816プロフィールid:Raprto僕の言葉は、人と話をするためにあるんじゃない。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。