中間論理は非加算無限個存在する