互いに矛盾しない複数のモデルは並立しうるが