24/11/08 15:05:23.97 bn+IOlx5.net
必要条件(前提条件)は
かけ算(平坦な整数同士の分配則)の算論は
整数(1が100%完全な同値を表し、1毎の数列が整数)の算論を必要条件にしてる
しかし
かけ算の定義は平坦な整数同士の分配則の方
整数の算論である十分条件はかけ算の算論が成立してるときかけ算の算論から整数の算論が成立してる可能性があるから考慮の対象となるのが十分条件で、十分条件は否決の場合もある
必要条件は否決の場合がない
かけ算の算論の十分条件は何かかけ算を前提にしないと成立しない算論
定義はその算論の説明、同段階
じゃない?