仮定
上記、何等か、帰納法、モデル、暗黙、私、保持、理論、正規性、計算