24/09/26 18:14:41.47 nR/euvug.net
たとえば群の公理
(1) ある元e∈Gが存在して、任意のg∈Gに対して、eg = ge = g
(2) 任意のg∈Gに対して、あるg^(-1)∈Gが存在して、gg^(-1) = g^(-1)g = e
この(2)のeは定義されていないから、(2)は命題になっていない
24/09/26 18:14:41.47 nR/euvug.net
たとえば群の公理
(1) ある元e∈Gが存在して、任意のg∈Gに対して、eg = ge = g
(2) 任意のg∈Gに対して、あるg^(-1)∈Gが存在して、gg^(-1) = g^(-1)g = e
この(2)のeは定義されていないから、(2)は命題になっていない