ある数学公理系Aがなんらかの自然現象の法則を記述していた場合、その数学公理系Aで記述される自然現象の範囲をαとした場合A->αと約束するまたある数学公理系Bが何らかの手続きを記述していた場合、その数学公理系Bで記述される手続きの範囲をβとした場合

続きを読む