数学的帰納法の亜種