公理主義

暇つぶしに見て

頭の体操八

一意性(いちいせい、英語: uniqueness)とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している(つまり「存在して、かつ、存在するならばただ一つだけである」の意)」という性...
よもやま話

公理と証明と認識

公理と証明と認識 この定義は発想が面白く、また根底にある考え方が有用だと感じたので共有します。 これは極めて抽象的な文なので、「直線」を「親子関係」、「点」を「親」「子」と文字を置き換えても文が成立します。 抽象度を高めて共通項以外を削ぎ落...